axiom schema of specification

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf axiom schema
gptkbp:alsoKnownAs gptkb:axiom_schema_of_separation
subset axiom schema
gptkbp:category gptkb:set_theory
gptkbp:expressedIn gptkb:first-order_logic
gptkbp:formedBy gptkb:Ernst_Zermelo
1908
https://www.w3.org/2000/01/rdf-schema#label axiom schema of specification
gptkbp:purpose restricts set formation to avoid Russell's paradox
gptkbp:replacedBy gptkb:unrestricted_comprehension_axiom
gptkbp:state for any set and any property, there is a subset of the set containing exactly those elements that satisfy the property
gptkbp:usedIn gptkb:Zermelo–Fraenkel_set_theory
gptkbp:bfsParent gptkb:ZFC
gptkbp:bfsLayer 6