19/10/05 15:37:48.61 kZwmbLNI.net
>>51
>>>N={Φ,{Φ},{Φ,{Φ}},・・・}に一番右の要素は存在しません
>いえいえ、極限ですよ
極限は、N自体であって、Nの要素の中にはありませんよ
無限公理の式
∃ω.{}∈ω∧∀x.x∈ω⇒x∪{x}∈ω
とくにx∈ω⇒x∪{x}∈ωのところ
つまりいかなる元xもその右側にx∪{x}なるxがある
といってるわけですから、一番右の元など存在しようがないのです
まず、ωを定義する式を真っ先に読むこと
それより先に読むべきものなどありませんよ