23/06/11 17:11:32.64 UHPzFVQz.net
>>525
なんかおヌシ、
「数学の完全性と無矛盾性が人間にも証明できる筈！」
と心底思い込んでるみたいで実にキモチワルイぞ
完全な公理系というものは存在するだろう
しかし人がそれを構築できるとは思えんね
また、自然数論も公理的集合論も無矛盾だろう
しかしそれは絶対的な証明が存在するようなものではない
おサルのおヌシは
箱入り無数目や実数の定義や正則行列の定義が理解できないだけではなく
アインシュタインの光速不変の原理による絶対同時の否定も
ゲーデルの不完全性定理による数学の絶対的基礎づけの不能性も
理解できなかったか