一項述語・1変項命題関数の全称量化∀x∈S P(x)

一項述語・1変項命題関数の全称量化∀x∈S P(x)。
議論領域を表す記号X,Ω混在を解消。(Ωに統一)