In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom schema of specification, axiom schema of separation, subset axiom scheme or axiom schema of restricted comprehension, is a schema of axioms in Zermelo–Fraenkel set theory. It is also called the axiom schema of comprehension, although that term is also used for unrestricted comprehension, discussed below. Essentially, it says that any definable subclass of a set is a set.
Read more about Axiom Schema Of Specification: Statement, Relation To The Axiom Schema of Replacement, Unrestricted Comprehension, In NBG Class Theory, In Higher-order Settings, In Quine's New Foundations
Famous quotes containing the word axiom:
“It is an axiom in political science that unless a people are educated and enlightened it is idle to expect the continuance of civil liberty or the capacity for self-government.”
—Texas Declaration of Independence (March 2, 1836)