>>54
前スレ見たけどいまいち。

「式の集合」がZFCのモデルになっているとは考えにくいし。