選択公理
選択公理 (集合系ver.)$ \forall \mathcal{A}\exists\varphi:\mathcal{A}\rightarrow\bigcup\mathcal{A}\forall A\in\mathcal{A};\varphi(A)\in A 選択公理 (集合族ver.)$ \forall\Gamma\forall\mathcal{A}\forall A':\Gamma\rightarrow\mathcal{A}\exists\varphi:\Gamma\rightarrow\bigcup A'[\Gamma]\forall i\in\Gamma;\varphi(i)\in A'(i) 同値な論理式