2024.08.15
https://gyazo.com/59442969cf847619eefcee416c3683d1
前：
2024.08.14
後：
2024.08.16
#日報
メモ:
補に閉じた論理式集合とそれを用いた様相論理の有限フレーム性証明
メモ
メモ
https://math.stackexchange.com/questions/2253062/self-verifying-theory-but-what-can-we-learn-from-it
自己検証可能な理論
思った
気が狂う．