三項述語2重全称量化

三項述語2重全称量化「∀x∈S ∀y∈T P(x,y,z)」

をアップロード。