---
up:
  - "[[théorie des ensemble NBC]]"
tags:
  - s/maths/logique
aliases:
---

> [!definition] Définition
> On définit les cardinaux à partir des ensembles :
> $0 = \emptyset$
> $1 = \{ \emptyset \}$
> $2 = \{ \emptyset, \{ \emptyset \} \}$
> $3 = \{ \emptyset, \{ \emptyset \}, \{ \emptyset, \{  \emptyset \} \} \}$
> $\vdots$
> $n^{+} = n \cup \{ n \}$
^definition