>>448
私も、収束の考えの裏には実無限的なものがある気がするんですよね。
可能無限と背理法の組み合わせの正当性は自明なんですかね?