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

5項述語・5変項命題関数の3重量化∀x1∈X1 ∃x2∈X2 ∀x3∈X3 P(x1, x2, x3, x4, x5)の定義・意味・読みを作成。アップロード。