>>386
>>任意の自然数nについて、nより大きい自然数全体の集合をNnと表す
>>(証明)
>>任意の自然数nについて、nより大きい自然数mが存在し
>>Nmはnを要素として持たない
>>したがって、∩Nnは、いかなる自然数nも要素として持たない
>>一方NnはNの部分集合であるから、自然数以外の要素を持たない
>>したがって∩Nnは空集合である QED

>それニセ証明じゃない?
 ∩Nnは空集合ではない、といいたいの?

>自然数nは、整列集合だから、包含関係が成り立つだろ?
>N1⊃N2⊃N3・・Nn⊃Nn+1⊃Nn+2⊃Nn+3⊃・・
>これ無限列だ。終わらないよね
>そして、上記で有限nで、∩Nn=Nn となるよね
 君でもそのくらいはわかるんだね えらいえらい

>n→∞ とすると lim n→∞ ∩Nn=lim n→∞ Nn=φ(空集合)?
 そうだよ どんなnもN(n+1)の要素ではない
 だから空集合 完全に証明されてるよ 何がおかしいの?
 任意有限でNnという無限集合なのに
 無限になったとたん空集合なのがおかしいの?
 でもそれ論理じゃなく君の勝手な感覚でしょ

>それ、面白いけど 証明になっとらんよね
 証明になってるけど
 実際君全然論理による反駁ができなかったじゃん
 ただおかしいおかしいとわめいてるだけ
 それじゃエテ公だね