Axiome de fondation

[ Definition ]
On appelle axiome de fondation l’axiome selon lequel pour tout ensemble \(E\) non vide il existe \(F\) tel que \(F \in E\) et \(F \cap E= \emptyset\).
En savoir plus