5項述語4重量化∃x1∈X1 ∀x2∈X2 ∃x3∈X3 ∀x4∈X4

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