23/09/23 15:25:27.45 Hagrg29X.net
>>951
>１）任意n有限長の列ではダメで、よってn→∞でもダメの推測が働く
そんな推測が働くなどとHart氏は一言も言ってない。
妄想激しいね。精神科受診をお勧めする。
>２）可算無限長では、「最後の箱」は無限のかなたに消えて無くなるけど
間違い。
R^Nの「最後の項」は消えてなくなるのではなく最初から無い。
>それを、単純に「最後の箱」のトリックに乗る数学科生がいるのかね
意味不明。
R^Nに「最後の項」が無いことはトリックでも何でも無くペアノの公理から自明に分かること。
ペアノの公理「∀n∈N ⇒ S(n)∈N」
最後の自然数zが存在すると仮定。
ペアノの公理により S(z)∈N、すなわちzの後者も自然数。
これはzが最後の自然数であることと矛盾。
よって仮定は偽。