Mathématiques, informatique, politique et poésie
L'ensemble des nombres naturels noté \(\mathbb{N}\) est l'ensemble \(\{0, 1, 2, 3, ...\}\).
L'existence d'un ensemble inductif est l'axiome de l'infini de ZFC. Il correspond à la construction des entiers naturels : on note alors \(0=\varnothing\), \(1= \{\varnothing\}\), \(2=\{\varnothing, \{\varnothing\}\}\) ...