ここで言うモデルというのはzfcの十分多くの有限個の公理を満たすものを言う。