Commune
Axiome de fondation
axiome de la théorie des ensembles que tout ensemble 𝑥 non vide possède un élément élément n’ayant aucun élément en commun avec 𝑥
Axiome de fondation
L'axiome de fondation, encore appelé axiome de régularité, est l'un des axiomes de la théorie des ensembles. Introduit par Abraham Fraenkel, Thoralf Skolem (1922) et John von Neumann (1925), il joue un grand rôle dans cette théorie, alors que les mathématiciens ne l'utilisent jamais ailleurs, même s'ils le considèrent souvent comme intuitivement vérifié. L'axiome de fondation fait ou non partie des axiomes de ZF (et ZFC) suivant les ouvrages. Dans la suite, on choisit de prendre ZF et ZFC sans axiome de fondation.
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement