Category:Axiom of Foundation

From ProofWiki

Jump to navigation Jump to search

This category lists pages that are related to the Axiom of Foundation, especially theorems that depend on it. Definitions specific to this category can be found in Definitions/Axiom of Foundation.

Pages in category "Axiom of Foundation"

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

C

Class is Not Element of Itself

E

Epsilon Relation is Strictly Well-Founded

N

P

Powerset is not Subset of its Set/Proof 3

S

T

There Exists No Universal Set/Proof 3

W

Well-Founded Induction

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Axiom_of_Foundation&oldid=106566"