2007/05/16

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




Posted by Picasa
投稿者 時刻:

0 件のコメント:

コメントを投稿

登録: コメントの投稿 (Atom)