心に残るあの言葉を投稿できるサイト
言霊TOP
名言を投稿する
検索結果「クルト・ゲーテル」 1件中 1~1 件を表示しています。
1:
ある程度の有限的算術を含むどんな無矛盾な形式体系にも決定不能な算術命題が存在し、さらにそのような体系の無矛盾性はその体系においては証明できない。
by
クルト・ゲーテル
[0] 言霊TOP
運営会社:
ミクル
|協力:ファイブディグリーズ