Encyclopedia - Axiom Schema Of Specification: Encyclopedia Ii - Axiom Schema Of Specification - Relation To The Axiom Schema Of Replacement
The axiom schema of separation can almost be derived from the axiom schema of replacement. First, recall this axiom schema: for any fu...   » Read the article

Encyclopedia - List Of Axioms: Encyclopedia Ii - List Of Axioms - Zermelo-frankel Axioms
These are the de facto standard axioms for contemporary mathematics Axiom of extensionality Axiom of empty set Axiom of pairing Axiom of...   » Read the article

Encyclopedia - List Of Axioms: Encyclopedia Ii - List Of Axioms - Axiom Of Choice
With the Zermelo-Frankel axioms above, this makes up the system ZFC in which most mathematics is potentially formalisable List of axioms...   » Read the article

Encyclopedia - Axiom Schema Of Specification: Encyclopedia Ii - Axiom Schema Of Specification - In Nbg Class Theory
In von Neumann-Bernays-Gödel set theory, a distinction is made between sets and classes. A class C is a set iff it belongs to some class...   » Read the article

Encyclopedia - Axiom Schema Of Specification: Encyclopedia Ii - Axiom Schema Of Specification - Unrestricted Comprehension
The axiom schema of unrestricted comprehension reads: that is: There exists a set B whose members are precisely those objects that sa...   » Read the article