2025.10.31
https://gyazo.com/189d36f66bd8ca89131c822d79e4ed98
前：
2025.10.30
後：
2025.11.01
#日報
メモ
風邪を引いた．
思った
極大無矛盾集合
に関する議論を抽象化した：論理式の構造とかに一切触れずに証明体系がclassicalであることなどを使う，これで議論を一々やり直さなくていいはず．どうだろう
メモ
https://scrapbox.io/files/690499b1785d43b91402393a.mp4
神の動画の壊れ方して本当にたすかる
photomosh