ゆるく勉強しているよこの広告は、90日以上更新していないブログに表示しています。無矛盾を前提としたロッサー版がある。どちらも、証明も反証もできない文の存在を証明する。・ロッサー文「もし私が証明可能なら、その否定はより短い証明でなされる」ロッサー版の方がより一般的な内容であるが、算術を含む体系はω無矛盾であるので、ゲーデル版がそのまま使える。古典論理を学んではてなブログをはじめよう!ta_so_ka_reさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。