>>452
ならお前はそれを証明してみろよ。

言語が使用される際は、その言語には定義がある

と言う定理が証明可能なんだろ?