20/05/17 09:37:33 OxYJzrF1.net
>>940
数学におけるガウスの役割
＝数理論理学＆集合論におけるゲーデルの役割
ちなみに（ヒルベルトの意味での）「基礎論」を殺したのはゲーデル
ゲーデル
「自然数論を含む帰納的公理化可能な理論が、
無矛盾であれば、自身の無矛盾性を証明できない」
アッカーマン
「え？じゃ、自分の原始帰納的算術の無矛盾性証明はいったい・・・」
ベルナイス
「・・・ああ！証明中の順序数の超限帰納法が、
原始帰納法的算術では導けないのか！」
ゲンツェン
「・・・てことは、逆に適切な超限順序数が構成できれば
その超限帰納法によって、カット除去の証明が
できるってことですね？(￣ー￣)ﾆﾔﾘ」