>函数がwell-definedである事を 言うためには、
>(函数の)記述が表わす対象が 一意に決まる事を
>言わないといけないんじゃないの？

それは函数を定義する体系の強度に依存する
そういうことに無神経なのが、数学を知らぬ馬鹿