- 154 p.
Cote : 00003330
axiome du choix # constance de l'hypothèse du continu # fonction récursive générale # fonction récursive primitive # indépendance de l'hypothèse d'un continu # langage formel # système formel # théorème de Lawenheim-Skolem # théorie des ensembles # théorie des ensembles de Zermelo-Fraenkel # théorème de nonplénit ude de Gobel # théorème de plénitude de Gobel
03E25 ; 03E35 ; 03E50 ; 03Exx ; 04-XX
Localisation : Ouvrage RdC (COHE)