Quels sont les axiomes de la théorie NBG des ensembles ?![]()
-----

Quels sont les axiomes de la théorie NBG des ensembles ?![]()
La théorie NBG reprend les axiomes de la théorie ZFC, dont certains sont modifiés pour tenir compte de l'existence des classes.
... quelles sont ces modifications![]()
Ben dans la théorie NBG, les objets sont des classes, et les ensembles y sont définis comme les classes pour lesquelles il existe des classes les contenant. Après, je ne connais pas grand chose sur ce sujet...
Vlà (par contre y'a plein de trucs hors-sujets). Il faudra surement changé certains points car ils parlent de théorie PNBG, c'est en liaison avec les fonctions récursives.
Le fichier est trop gros ..
Envoie juste le lien, sinon...
Et c'est lequel parmi tous ces renvois ?Envoyé par Vassia Pupkin
Le troisième, c'est un pdf sur les fonctions partielles récursives![]()
Ah, ok... Merci !Envoyé par Vassia Pupkin
Le troisième, c'est un pdf sur les fonctions partielles récursives
Je l'ouvre plutôt comme ASP,pas PDF!
Ah!ok j'vois,j'ai du ouvrir le 4 ème!!
Apparemment il existe une troisième formalisation, celle de Tarski-Grothendieck ...![]()
Vous en avez entendu parler ?
