2025.10.30
https://gyazo.com/113b672cd3753a5e8bb8f838907c6059
メモ
ロジシャンとしては，やっぱりGödelの不完全性定理は汲めども尽きぬ示唆を与え続ける大定理であって，そうした魔力を持っていることを忘れて単に煩雑な組み合わせ論的な事実に過ぎないと論ずるのもどうなんだという話を聞き，深く感動した．
メモ
実は$ \bf ILより弱い部分論理だとこれより簡単な議論でもいいらしい．とはいえ一旦そのことは忘れる
思った
これかなりいい
いいね
https://nicothumb2img.vercel.app/image/sm45568696#.png https://nico.ms/sm45568696
神