>>657
＞ひとつf:N→Rが与えられたらそこからaを作れる｡

ここをパラドックスにしたかったけど。普通に全域で定義された関数ならこれは疑いようがないか。。

いずれにしろfが部分関数かまたはfは全射ではない。

それでfが部分関数だけど全射として。さっきの実数を制限するなら関数が全域で計算できなくてはならない。という点についてはまた。