無限公理は存在定理だから、ある集合が
>>337
> N~=N∪{∞}として
> ∞∪{∞}がN~の要素でないから
> 無限公理を満たさない
としても別に問題はないんだが。