|
Titre :
|
Théorie des ensembles
|
|
Auteurs :
|
Jean-Louis Krivine, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Mention d'édition :
|
Nouv. éd. revue et augm.
|
|
Editeur :
|
Paris : Cassini, 1999
|
|
Collection :
|
Nouvelle bibliothèque mathématique, num. 5
|
|
ISBN/ISSN/EAN :
|
978-2-84225-014-0
|
|
Format :
|
273 p. / 24 x 16 cm
|
|
Note générale :
|
Bibliogr. Index
|
|
Langues:
|
Français
|
|
Index. décimale :
|
510 (Mathématiques
Ouvrages généraux, Théorie, Machines à calculer, Calcul)
|
|
Mots-clés:
|
ensembles, théorie des
;
ensembles, théorie axiomatique des
|
|
Résumé :
|
La première partie expose les axiomes usuels de la théorie des ensembles, les notions d'ordinal et de cardinal, l'axiome du choix et ses équivalents classiques. Viennent ensuite les premiers résultats de consistance relative. Cette partie s'achève sur une démonstration du théorème de Gödel. La seconde partie est consacrée au forcing et à ses applications.
|
