現代数学の系譜 工学物理雑談 古典ガロア理論も読む44

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