- 145 名前：１３２人目の素数さん mailto:sage [2017/10/06(金) 06:13:28.18 ID:5GoVJcVa.net]
- >>109
>>「０から１個づつ増やしたものの総体」
>1個づつ増やして無限集合に到達すると言うなら、
云っていないし云えない
無限公理で存在を主張している集合は
1個づつ増やして到達したものではない
そもそも到達できるなら定理として証明できるから
公理として設定する必要がない
ω＝｛０、１、２，・・・｝
が到達不能でも、ωから
∪（ｎ∈ω）｛０、・・・、ｎ｝
を取り除いた結果は
｛｝になる
