Category:Definitions/Axiom of Foundation

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to the Axiom of Foundation.
Related results can be found in Category:Axiom of Foundation.


For all non-empty sets, there is an element of the set that shares no element with the set.

That is:

$\forall S: \paren {\paren {\exists x: x \in S} \implies \exists y \in S: \forall z \in S: \neg \paren {z \in y} }$

The antecedent states that $S$ is not empty.

Pages in category "Definitions/Axiom of Foundation"

The following 4 pages are in this category, out of 4 total.