Citer ce document :

Rédaction n°065. Ensembles. Le formalisme de Gödel. Chevalley, Claude, R065_iecnr074, accès le 5/04/2020, http://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