五項述語・5変項命題関数の多重量化

論理目次に、五項述語の多重量化:

•  五項述語三重量化　∀x₁∈S₁ ∃x₂∈S₂ ∀x₃∈S₃  P ( x₁, x₂, x₃, x₄ , x₅)　
•  五項述語四重量化　∃x₁∈S₁∀x₂∈S₂ ∃x₃∈S₃ ∀x₄∈S₄  P ( x₁, x₂, x₃, x₄ , x₅)　

へのリンクを追加。