>>847
>ある公理体系全体を「真」とするような解釈や構造がモデルと呼ばれます。

>>967
>ある公理系内で作れない集合は、その公理系内では集合と呼べない（クラスだ）
ZFから無限公理を取り除いた公理系(ZF-Infinity)のモデルに無限集合が存在したらZF-Infinityのどの公理が偽になるんですか？