Axiom of specification

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf gptkb:Titan
set theory principle
gptkbp:alsoKnownAs gptkb:axiom_of_separation
subset axiom
gptkbp:category axiom schema
gptkbp:describes Given any set and any property, there is a subset containing exactly those elements of the set that satisfy the property.
gptkbp:field gptkb:mathematics
gptkb:set_theory
gptkbp:formedBy gptkb:Ernst_Zermelo
1908
https://www.w3.org/2000/01/rdf-schema#label Axiom of specification
gptkbp:implies subsets can be defined by properties
gptkbp:partOf gptkb:Zermelo–Fraenkel_axioms
gptkbp:prevention formation of sets by unrestricted comprehension
gptkbp:purpose to avoid Russell's paradox
gptkbp:relatedTo gptkb:Russell's_paradox
axiom schema of comprehension
gptkbp:statedIn gptkb:Zermelo–Fraenkel_set_theory
gptkbp:bfsParent gptkb:Menge
gptkbp:bfsLayer 5