up::[[axiomes Zemerlo Frankel]]
#s/maths

---
Il existe un [[classe héréditaire|ensemble héréditaire]] le plus petit (à l'intersection de tous les ensembles héréditaires).
Cet ensemble est, par définition, $\mathbb{N}$.

> [!définition] Axiome de l'infini
> $\mathbb{N}$ est le plus petit [[classe héréditaire|ensemble héréditaire]] (l'intersection de tous ces ensembles)
^definition