Monthly Archives: August 2016

In axiomatic set theory every axiom uses the existence of some set as a prerequisite for the formula of the axiom. For example the axiom schema of specification which looks like: The axiom is initiated by mentioning the quantifiers (∀x) … Continue reading →