まあー、それだけの話なんだけどw
まあー、それって「無矛盾な数学体系では数学は無矛盾だとさえ言わなければ数学は無矛盾だ」という形になるのでショーかねえ~、そうですのや。数学が形式的には無矛盾だとすればG∧¬Gよりゲーデル命題は存在できないワケで、ゲーデル命題が存在してしまえばG∧¬Gより数学は矛盾していることになり、だから、アーしんどい、そうですがな。
ワシは
「Gが存在してしまえば意味論よりG∧¬G」
だと思いましたのや、オソマツw
まあー、それって「無矛盾な数学体系では数学は無矛盾だとさえ言わなければ数学は無矛盾だ」という形になるのでショーかねえ~、そうですのや。数学が形式的には無矛盾だとすればG∧¬Gよりゲーデル命題は存在できないワケで、ゲーデル命題が存在してしまえばG∧¬Gより数学は矛盾していることになり、だから、アーしんどい、そうですがな。
ワシは
「Gが存在してしまえば意味論よりG∧¬G」
だと思いましたのや、オソマツw
意味論的にはG∧¬Gが存在しようと数学は無矛盾であるw