>>339-340
どうも。スレ主です。
すまん、かぶった (>>342）（＾＾

>うっかり定理と言っちまったが見逃しておくれ。

無問題（＾＾

なお、
無限公理は存在定理だから
　↓
無限公理は存在を示す命題だから

ある集合が
> N~＝N∪｛∞｝として
> ∞∪｛∞｝がN~の要素でない
としても別に問題はないんだが。

くらいかな（＾＾