2025.09.01
前：
2025.08.31
後：
2025.09.02
#日報
メモ
$ \bf GL.3
の完全性を
G. Boolos; "The Logic of Provability"
を参考に形式化しつつある
意外と簡単だったなこの証明…
#GL.3の完全性
すいません行間埋めるの破滅的に面倒でした