>>24 じゃ、貴方たちにはこれを

http://park20.wakwak.com/~ichikawa-clinic/2-ya.htm
ｎ→∞
(抜粋)
「無限大を記号で表すと∞になる。可能無限の立場では、この記号は認められていない。これは実無限の記号さ」

「でも、魅力的な記号だわ。うっとりするほど、引き込まれる記号よ」

「８を横にしただけだろう？。それだけで、これほど魅了されるのか？」

「サクくん、あなたにはこの記号の魅力がまだわかっていないのよ。これは、数学を超えた神聖な記号なのよ」

「超えすぎているさ」

数学を超えた記号が数学内で使用されていることに、サクくんはすでに気がついていました。

「でも、便利よ」

「確かに∞は便利な記号であることは認めるよ。だからこそ、可能無限でも使用しているのさ。たとえば、ｎ→∞という記号は、可能無限では『ｎという自然数を無限に大きくして行く』という意味さ。これを『ｎを無限大に近づける』と読んではいけないし、『ｎを無限大にする』と読んでもいけない」

「読み方に規定があるのね」

「もちろんだ。誤解を招かない読み方を守ることは、とても大切さ。ｎをいくら大きくしても、ｎは無限大にはまったく近づかない。ｎと∞の間には、決して埋めることのできない概念上の大きな隔たりがあるからさ。この隔たりを埋める作業は、拡張と呼ばれている論理の飛躍だけだ」

「ｎはどこまで大きくしても自然数であって、無限大という名前の非自然数には変化しないのね。でも、無限先で自然数ｎは∞という非自然数に変化できると考えたほうがかっこ良くないかしら？」

「かっこ良いか悪いかの問題ではない。俺たちが問題にしているのは、記号が実無限で、意味は可能無限だということだ。ここにも、実無限と可能無限の混在が認められるのさ。でも、可能無限と実無限の違いをしっかり理解しながら使う限りは、あまり混乱しないですむ。この２つを見分ける力がないと、パラドックスが発生して頭の中が混乱するだけさ」

ロマンチックな気分に浸っているミサさんを現実に引き戻したサクくんは、女性の心理をあまり理解していないようでした。

「∞は無限大を表す記号さ。ｎ→∞は記号の組み合わせで、これ自体も立派な記号さ」

∞は、記号である。ｎ→∞も、記号である。
つづく