全く無謀な試みです。

……なぜかと言うと、矛盾からは任意の命題が出て来るので、
　Tから証明できない或る命題が存在する⇔Tが無矛盾
よって、たとえばZFCで考えているとして、ZFCが無矛盾であることが証明できない限り
三段目以降は全部自動的に無理になってしまう。

これも前のスレにあった話だけど。
やっぱ皆考えることは同じだよね。