Mathématiques, informatique, politique et poésie
L'axiome de fondation s'énonce ainsi
$\(\forall x[x\neq\varnothing\implies\exists y(y \in x \land y \cap x = \varnothing)]\)$Il a pour conséquence qu'aucun ensemble n'appartienne à lui même. En effet si on suppose \(x \in x\), alors \(\{x\}\) ne satisfait pas l'axiome de fondation.