>>667
君の言うところの全射な部分関数f:N→Rが存在するとしたら
f(x)が存在するならばF(x)=f(x)
f(x)が未定義ならばF(x)=0
とか定義すれば、全射な関数F:N→Rが作れるだろ。