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

>>16 そうですね。このように書けばよい：

f:N→R が任意に与えられたとき，f(N) に含まれない x∈R を
以下のように作ることができる：
小数点第１桁はf(1)と違える，第２桁はf(2)と違える・・・and so on