6項述語3重量化∀x1∈X1 ∃x2∈X2 ∀x3∈X3 P(x1, x2, x3, x4, x5,x6)

6項述語の3重量化「∀x¹∈X¹ ∃x²∈X² ∀x³∈X³ P(x¹, x², x³, x⁴, x⁵,x⁶)」を新規作成、アップロード。