そりゃ、やることってモンがありますのやｗ-そら、まず決定不能命題存在を予言するでしょーねえ！ 第一不完全性定理が意味することと言ったらソレですのや、そうでっせ。数学には肯定も否定も証明され...
数学体系で証明されない命題の集合では？-すなわち決定不能命題の集合ではないだろーか？ こ...
学問は保守派が最後には勝つ、らしくって！-レンマ：決定不能命題が証明不可能であれば数学は...