ああそうか
無限公理が無ければ
Nは集合で無い(フォンノイマン的な)宇宙としてもいいのか