0370132人目の素数さん垢版 | 大砲2018/02/16(金) 23:24:51.78ID:rKq6lZd1 >>368 立場の問題になるでしょうね ストイックに行くならば、そのような集合は扱わないということになるでしょう 対象となる集合はどれだけ大きくても構わない、として、証明を記述する際においてのみ有限の立場を取る、とすれば実数を扱うことができかつ有限の立場を取ることもできるでしょうね