>>665
有限集合を元とする集合（>>663のモデル）が1つしか無いなんてことを言ってるわけじゃないんだけどね
自然数はどれもコレのモデルになるでしょ
だから順序数でさらに有限性の公理のモデルとして
自然数をその無数のモデルのどれかとして扱えると