>>27
> ところで、写像と関数を区別してるならどう違うか３行で説明してくれ。（数学的に）
同じ。

>>28
&sqrt;は函数で&sqrt;(−3)は&sqrt;の像に属する定数。

> まずはどの公理を採用するか言わないとダメなんじゃないの？
ZFC ですが何か？