Relations

Ce contenu n'a pas de relations.

Citer ce document :

Rédaction n°065. Ensembles. Le formalisme de Gödel. Chevalley, Claude, R065_iecnr074, accès le 26/04/2024, https://archives-bourbaki.ahp-numerique.fr/items/show/474

Description

L'auteur dégage trois notions primitives : ensemble, classe et appartenance, qui le conduisent à formuler une série d'axiomes. Il s'appuie sur ces axiomes pour construire la classe des nombres ordinaux. Il aborde pour finir la notion d'ensemble constructible.

Auteur

Chevalley, Claude