大人のための数学「無限への飛翔」やりなおし数学シリーズ。今回は、カントルの無限と取り組む。 結果は……惨敗だった。可算集合と濃度、対角線論法のあたりまでは、「数学ガール」のおかげで追いかけられたけれど、「カージナル数の大小比較」や「選択公理から整列可能定理」になると、脳汁があふれた。それでも、（負け惜しみだけど）、エラい経験をさせてもらえた。 たとえば、有理数の全体が可算集合である証明を追っていくうちに、「有理数」に対して持っているイメージというか、概念がぐにゃりと変わってしまった。もちろん、有理数は、整数 m, n （ただし n≠0）を使って m / n という分数で表せる数なのだが、わたしのアタマでは、それらは数直線上にぎっしりと詰まっている点のイメージだった。2/3だろうと、9967/9973だろうと、いくらでも細かくできるからね。 では、これをどうやって1, 2, 3, … と番号を付けて数え上げるのか？有理数を
