Theorie Axiomatique Des Ensembles
by Jean-Louis Krivine /
1969 / English / PDF
3.1 MB Download
Ce livre expose les resultats classiques de consistance relative en theorie des ensembles, qu'on obtient par la methode dite des «modeles interieurs». Trois exemples de tels modeles sont etudies aux chapitres VI, VII, VIII Ie plus important, celui des ensembles constructibles, donne Ie theoreme de Godel sur la non-contradiction de l'axiome du choix et de l'hypothese du continu.
