>記号の意味なんて数学の中であっても任意に決められるものだろ。

そうなんですか？なんか数学基礎論を聞きかじっただけのような奴が
こういうこと言いそうなきがする。