＞＞ 小さな理論ではなく、ZFCのモデルが作れるような大きな理論だ
＞それが大きな理論ですか。それに”作れるような”ではなく”作ってから”言ってください。

作った。だからもう一度繰り返す。

小さな理論ではなく、ZFCのモデルが作れる大きな理論だ