無矛盾な公理的集合論は自己そのものの無矛盾性を証明できないから
主張自体はGödelの第2不完全性定理
Robinson算術の本質的決定不能性を用いたZF集合論の第1不完全性定理の証明などから行ける，ハズ…
と思ったがこれが証明できるのは第1不完全性定理だった
どうすれば…