Aksjomaty Zermela-Fraenkla: Różnice pomiędzy wersjami

{{Główny artykuł|Aksjomat zbioru potęgowego}}

: Dla każdego zbioru <math>x</math> istnieje zbiór <math>p</math>, którego elementami są dokładnie podzbiory zbioru <math>x</math>:

 

===Aksjomat nieskończoności===

{{Główny artykuł|Aksjomat nieskończoności}}

: Istnieje [[zbiór induktywny]]:

::: <math>\and \forall y \bigg( y\in x\Rightarrow \exist z\; \Big(z \in x \and \forall x\; \big(x \in z \Leftrightarrow (x \in y \or x = y)\big)\Big)\bigg)\Bigg)</math>

: Istnieje wiele takich zbiorów.