三項述語の二重量化「∃x∈S ∀y∈T P(x,y,z)」

三項述語の二重量化「∃x∈S ∀y∈T   P (x,y,z)」のミス修正。