和集合の公理
任意の集合 x に対しある集合 y が存在して、任意の要素 z に対し、z が y に含まれるならば、そのときに限り z を含むような x の要素 w が存在する。
すなわち形式的には、
∀ x ∃ y ∀ z [ z ∈ y ⟺ ∃ w ( z ∈ w ∧ w ∈ x ) ] {\displaystyle \forall x\,\exists y\,\forall z\,[z\in y\iff \exists w\,(z\in w\land w\in x)\,]}
と書ける。