2025.11.09
https://gyazo.com/1f2d0d5ba45ab9bb94207d2c97783582
前：
2025.11.08
後：
2025.11.10
#日報
思った
「私はもっと下の基礎の疑わしさについて興味があるから、選択公理を使っているかなどはもはや問題ではない」という態度を常に取っている
思った
Albert Visser
の論文マジでたまに定性的な感想が書いてあって意味なさすぎる
メモ
$ \mathbf{IL}(\mathsf{W}, \mathsf{M_0}) \vdash \mathbf{IL}(\mathsf{W^*})
などが
Visser; "An overview of Interpretability Logic"
に書いてある．しかし全然不明な変形によって