集合論なぜなにスレッド

>>http://science3.2ch.net/test/read.cgi/math/1097659610/333
>有限の次が有限なのはわかるけどね、それを常に
>適用させると有限である自然数を
>並べ終わったあとに余る実数なり部分集合なりから、
>一対一の矛盾を導く対角線論法がおかしくなるべ。
有限でない自然数はないですよ。
「有限な自然数」の個数は無限個。

それに最後、つまり最大の自然数nは存在しない。
なんとなればnが自然数ならn+1＞nも自然数。
しかるにnは最大の自然数であったからn+1≦n
∴不合理。