>>368
立場の問題になるでしょうね
ストイックに行くならば、そのような集合は扱わないということになるでしょう
対象となる集合はどれだけ大きくても構わない、として、証明を記述する際においてのみ有限の立場を取る、とすれば実数を扱うことができかつ有限の立場を取ることもできるでしょうね