>>371
>「数学では、ｘを定義したらｘは存在する」
>という話であって、

それも、違うよね。”well-defined”という言葉ある

１．いま、ある公理系があるとする
２．”ｘを定義した”として、もし、矛盾を生じるなら、ｘは存在しえない
３．もし、ｘが公理系から定理としてその存在が証明されるなら、それは定義ではなく、定理と呼ばれるべきもの
４．で普通は、上記２でも３でもなく、かつ、”well-defined”なｘが用いられるよ（＾＾
５．”「∞とは最大の自然数である」と定義したら∞は存在する”という例示が、ズッコケだよ

（参考）
https://ja.wikipedia.org/wiki/Well-defined
well-defined[注釈 1]（ウェル・ディファインド）は、「定義によって一意の解釈または値が割り当てられる」ことを言う[2]。

注釈
1^ 「容易く理解できる」といった意味の英語の形容詞である（反意語は ill-defined）[1]。
(引用終り)
以上