17/09/14 11:29:20.23 x096s0KZ.net
>>512
>0と1の間にはいくらでも数がある。
>いくらでもあるが有限個しかないのである(笑
閉区間 [0,1] は、既に集合として完成しており、誰が [0,1] と書いても、
この記号列が表す集合は完全に固定されていて動かず、常に同じ対象を表している。
そのような、要素の更新が起こらない固定された対象がもし有限集合なのであれば、
完全なる定数 n が存在して、その集合の要素の個数は定数 n となる。
しかし、既に見たように、[0,1] はそのような性質を満たさない。
結局、[0,1] は有限集合ではない。