3項述語2重量化∀x∈X ∃y∈Y P(x,y,z)

三項述語の二重量化「∀x∈X ∃y∈Y P(x,y,z)」を新規作成、アップロード。