2026.05.24
https://gyazo.com/75e4793964c080f1d9e515a01d91f0ff
思った
今日やる気ない
メモ
ゲーデルが第2不完全性定理までちゃんと示したということにしてGödel1931を引用してるけど，全然そんなことないことは．．． HOLMSが様相論理Grzの諸々を形式化してカンファレンスペーパーにしているがそのぐらいなら我々のやつにもあるよな．．と思いつつまあ論文書いてないのも悪いので来年は本当にやる メモ
らき☆すたとけいおんは．．．．．．．．．．．．．．．．．と思ったけど私が老人過ぎるだけだと思た