11/01/15 21:55:34
全く無謀な試みです。
……なぜかと言うと、矛盾からは任意の命題が出て来るので、
Tから証明できない或る命題が存在する⇔Tが無矛盾
よって、たとえばZFCで考えているとして、ZFCが無矛盾であることが証明できない限り
三段目以降は全部自動的に無理になってしまう。
これも前のスレにあった話だけど。
やっぱ皆考えることは同じだよね。
11/01/15 21:55:34
全く無謀な試みです。
……なぜかと言うと、矛盾からは任意の命題が出て来るので、
Tから証明できない或る命題が存在する⇔Tが無矛盾
よって、たとえばZFCで考えているとして、ZFCが無矛盾であることが証明できない限り
三段目以降は全部自動的に無理になってしまう。
これも前のスレにあった話だけど。
やっぱ皆考えることは同じだよね。