5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

宇宙最大の発見

260 :本当にあった怖い名無し:2010/05/26(水) 02:44:57 ID:bDsKUQ8A0
あなたは今日はなぜか回答しないみたいなので
ゲーデルの不完全性定理から、第2不完全性定理をプレゼントしますね

自然数論を含む帰納的に記述できる公理系が、無矛盾であれば、自身の無矛盾性を証明できない。

訳も紹介します
ある理論体系に矛盾が無いとしても、その理論体系は自分自身に矛盾が無いことを、その理論体系の中で証明できない。

ではこれで失礼します

141 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)