>>201
算術の言語に∈という非論理記号は無いのでx∈xは算術の論理式ではありません。