Revision as of 14:19, 8 June 2024 edit Thiagovscoelho (talk \| contribs) Extended confirmed users 3,416 edits additional source for axiom as stated Tag: Visual edit ← Previous edit		Revision as of 14:22, 8 June 2024 edit undo Thiagovscoelho (talk \| contribs) Extended confirmed users 3,416 edits names/sources Tag: Visual edit Next edit →
Line 3: {{no footnotes\|date=March 2013}} In many popular versions of [[axiomatic set theory]], the '''axiom schema of specification''',<ref name=":1" /> also known as the '''axiom schema of separation''', '''subset axiom<ref name=":0" ~~scheme~~/>''' or '''axiom schema of restricted comprehension''' is an [[axiom schema]]. Essentially, it says that any definable [[subclass (set theory)\|subclass]] of a set is a set. Some mathematicians call it the '''axiom schema of comprehension''', although others use that term for '''''unrestricted'' comprehension''', discussed below.

Axiom schema of specification: Difference between revisions