Loi d`engendrement

Logique et raisonnement
scientifique
cours transversal
Collège Doctoral
Pr. Alain Lecomte

3. Logique et mathématiques
De Frege à Gödel-2

Les ordinaux
un ensemble est un ordinal s’il a les deux
propriétés suivantes :
La relation est sur une relation
d’ordre total strict qui est un bon ordre ;
Si alors
, {}, {, {}}, {, {}, {, {}}}, {, {},
{, {}}, {, {}, {, {}}}} etc.
yx
x
x

Loi d’engendrement

Loi d’engendrement
{}