FONDATION AXIOME DE

Ce sujet est traité dans les articles suivants :

1.  ENSEMBLES (THÉORIE DES) - Théorie axiomatique

Écrit par : Jacques STERN

Dans le chapitre "Hiérarchie des ensembles et axiome de fondation"  : … obtenir ce résultat, il suffise d'adjoindre à ZF^- l'axiome suivant, dit axiome de *fondation puisqu'il entraîne que tout ensemble est construit à partir de l'ensemble vide : Cet axiome exprime que tout ensemble non vide a un élément qui n'a aucun élément commun avec cet ensemble. Si l'on admet (9), ou au moins si l'on admet l'… Lire la suite