計算ができる実数だけを実数と認める世界を作ると
当然計算ができる関数だけを関数と認める世界になるわけで、
その世界の中では相変わらず任意の「関数」f:N→Rは全射にならない。