2007/05/16

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




Posted by Picasa
投稿者 時刻:

0 件のコメント:

コメントを投稿

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