0339132人目の素数さん垢版 | 大砲2017/10/09(月) 17:03:57.80ID:kdaC0xU2 無限公理は存在定理だから、ある集合が >>337 > N~=N∪{∞}として > ∞∪{∞}がN~の要素でないから > 無限公理を満たさない としても別に問題はないんだが。