無限に付いて語る。実無限VS可能無限

>>61
> 仮定１:自然数や実数を“全体”として把握できるという「実無限」の仮定
これがよくわからない。実数列{f(n)} は具体的手続きで与えられるし，
f(n) のどれとも異なる実数 x も{f(n)}を調べながら具体的に作れるわけです
>>63
別にふつうの対角線論法だとおもいますよ。
数学ではある性質を持つ対象を対角線論法を使って構成する場面が
他にもいくらもあります。