2025.07.21
https://gyazo.com/00f9569a68c978d264f0d4616038c337
perfect-math-class.leni.sh
wwwwwwww
前：
2025.07.20
後：
2025.07.22
#日報
メモ
近傍意味論
の
$ \bf E
から
$ \bf EMCN
の完全性証明を全部形式化終わらせた．
ついでに他のやつらも終わっている．
メモ
いい加減に
van Benthamの定理
を理解しようと思って勉強し始めている．