Axiom schema of specification
Concept in axiomatic set theory / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Unrestricted comprehension principle?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
"Axiom of separation" redirects here. For the separation axioms in topology, see separation axiom.
In many popular versions of axiomatic set theory, the axiom schema of specification, also known as the axiom schema of separation, subset axiom scheme or axiom schema of restricted comprehension is an axiom schema. Essentially, it says that any definable subclass of a set is a set.
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (March 2013) |
Some mathematicians call it the axiom schema of comprehension, although others use that term for unrestricted comprehension, discussed below.
Because restricting comprehension avoided Russell's paradox, several mathematicians including Zermelo, Fraenkel, and Gödel considered it the most important axiom of set theory.[1]