Axiom schema of specification - Relation to the axiom schema of replacement - Article Index

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 - 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