TheoremBase

Axiom of Foundation for Classes

Every class with at least one element has an element that shares no element with it.

Statement

Every class XX that has at least one element has an element uu such that no set ss satisfies both s∈us\in u and s∈Xs\in X.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…