3. Logique et mathématiques De la logique aux mathématiques
Le nombre de satellites de Jupiter est lextension du concept « équinumérique au concept « satellite de Jupiter » » Puisque rien ne tombe sous le concept : « non identique à soi- même », je pose par définition : 0 est le nombre cardinal qui appartient au concept « non identique à soi-même. « il existe un concept F et un objet x qui tombe sous ce concept tels que le nombre cardinal qui appartient à ce concept est n et que le nombre cardinal qui appartient au concept 'qui tombe sous F mais n'est pas identique à x' est m ». veut dire la même chose que « n suit immédiatement m dans la suite naturelle des nombres. » Théorie des cardinaux finis
Linfini? le nombre cardinal infini est le nombre qui appartient au concept « nombre cardinal fini » Infini actuel
Les ordinaux un ensemble est un ordinal sil a les deux propriétés suivantes : La relation est sur une relation dordre total strict qui est un bon ordre ; Si alors, { }, {, { }}, {, { }, {, { }}}, {, { }, {, { }}, {, { }, {, { }}}} etc.
Loi dengendrement
Loi dengendrement { }
Loi dengendrement { } {, { }},
Loi dengendrement { } {, { }}, {, { }, {, { }}},
Loi dengendrement { } {, { }}, {, { }, {, { }}}, {, { }, {, { }}, {, { }, {, { }}}} etc.
ordinaux si est un ordinal, alors { } est un ordinal. On note alors ce nouvel ordinal : +, cest le successeur de. Un ordinal est dit fini si lui-même et chacun de ses éléments est successeur dun ordinal. Dans le cas contraire, on parle dordinal limite
Ordinaux limites lensemble de tous les ordinaux finis est un ordinal on ne peut pas trouver dordinal dont il soit le successeur ! autrement dit cest un ordinal limite. notons- le : cest le plus petit ordinal infini
ordinaux Mais + 1 = { } est aussi un ordinal limite, + 1, + 2, + 3, …. + = 2, puis 3, 4 … = 2, puis 3, …,
Les ordinaux et les cardinaux = ( est le plus petit ordinal équipotent à N) On pose: ( est un ordinal, le successeur dun cardinal k est le plus petit cardinal qui lui est supérieur) Card(R) = Card (N) = Question: est-ce que = ?