>>504
>∀x[x∈R→∃s[s∈R∧x=s]]

コレどういう意味?