>>151
しかし最定式化の段階で一旦ZFCに基づいていた証明を捨てなければなりませんよね。
そうなると数学全体をスクラップ＆ビルドしなおす必要が出てくると思います。
ある意味、集合論（数学の基礎）の崩壊かなと。

また、同等の機能を持った別の定式化というのは存在するでしょうか？
同等の機能を持つなら同じ論理式が同じように証明できるわけで
また矛盾してしまうのではと思います。