∀x1∈S1 ∃x2∈S2 ∀x3∈S3 P ( x1, x2, x3, x4 )

論理目次に、

• 四項述語の多重量化: ∀x₁∈S₁ ∃x₂∈S₂ ∀x₃∈S₃  P ( x₁, x₂, x₃, x₄ )　

へのリンクを追加。