>>145
> これはZFCが無矛盾であることを示したことにならないでしょうか？

そうするとZFCは無矛盾でないことになりますので、大発見だと思います。