ポスト
いきなり難しい問題を考えるより、簡単な問題から確認していった方が、最終的には建設的な結果が生まれやすいと思います)。 ここではある自己言及的な命題Gを考えます。 命題G: 「ZFC公理系において、命題Gが真であると証明することは不可能である」 x.com/sekibunnteisuu…
メニューを開くみんなのコメント
メニューを開く
これは変数を含まない述語ですので、形式的には命題です。 20世紀初頭までは、公理系に含まれるあらゆる命題(つまり、変数を含まない述語のことですが)は(中には、例えばP=NP問題やゴールドバッハ予想のように証明が難しいものはあるにせよ、 x.com/sekibunnteisuu…