>>371
>>”任意有限Dを選んで、しっぽの箱を開ければ、それでしっぽ同値類決まる”
>>ってことは、しっぽ同値類を決めているのは、無限のかなたの箱の一致であって
>
>それ誤解
>>>360読んだ？　あれよく書けてるよ
>数学科卒の博士様じゃないかな？

スレ主です
それ誤解ｗ >>360はサイコパスのおサル>>5だと思ったよｗ

>任意の自然数ｎについて、ｎより大きい自然数全体の集合をＮｎと表す
>（証明）
>任意の自然数ｎについて、ｎより大きい自然数ｍが存在し
>Ｎｍはｎを要素として持たない
>したがって、∩Ｎｎは、いかなる自然数ｎも要素として持たない
>一方ＮｎはＮの部分集合であるから、自然数以外の要素を持たない
>したがって∩Ｎｎは空集合である　ＱＥＤ

・それニセ証明じゃない？ｗ
・自然数ｎは、整列集合だから、包含関係が成り立つだろ？
・Ｎ1⊃Ｎ2⊃Ｎ3・・Ｎn⊃Ｎn+1⊃Ｎn+2⊃Ｎn+3⊃・・
　これ無限列だ。終わらないよね
・そして、上記で有限nで、∩Ｎn=Ｎn となるよね
　n→∞ とすると lim n→∞ ∩Ｎn=lim n→∞ Ｎn=φ（空集合）？
・それ、面白いけど 証明になっとらんよねｗ

つづく