サクサク読めて、アプリ限定の機能も多数！
自然数論を含む帰納的に記述できる公理系が、ω無矛盾であれば、証明も反証もできない命題が存在する。 然数論を含む帰納的に記述できる公理系が、無矛盾であれば、自身の無矛盾性を証明できない。
masato611 のブックマーク 2007/10/11 08:55
このブックマークにはスターがありません。 最初のスターをつけてみよう！
ja.wikipedia.org2005/05/14
ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: Gödelscher Unvollständigkeitssatz）または不完全性定理とは、数学基礎論[1]とコンピュータ科学（計算機科...
113 人がブックマーク・10 件のコメント
＼ コメントが サクサク読める アプリです ／
自然数論を含む帰納的に記述できる公理系が、ω無矛盾であれば、証明も反証もできない命題が存在する。 然数論を含む帰納的に記述できる公理系が、無矛盾であれば、自身の無矛盾性を証明できない。
このブックマークにはスターがありません。
最初のスターをつけてみよう！