2007-12-01

反証可能性についての考察

自然数論を含む帰納的に記述できる公理系が、無矛盾であれば、証明も反証もできない命題存在する。

― ゲーデルの第1不完全性定理の改良版 ―

記事への反応(ブックマークコメント)

ログイン ユーザー登録
ようこそ ゲスト さん