2025.09.10
https://gyazo.com/b6fd68b9f92cc1848c29396debf2532f
前：
2025.09.09
後：
2025.09.11
#日報
メモ
いずれ作る音MADのアイデア
メモ
$ \mathbf{D} = \mathrm{PrL}_\mathsf{PA}(\mathsf{PA} + \mathrm{Rfn}_\mathsf{PA}(\Sigma_1))
の証明，
Dzhaparidze
の博士論文にしか書いてないのか？
L. Beklemishev; "On the Classification of Propositional Provability Logics"
に少し書いてありここから系として出せると思う，出せるのか？
$ \sf D
の意味論を形式化したりしていた