KnowraAxiom schema of specificationLinked fromLinked fromThe 7 pages that link to Axiom schema of specification, each with the reason it gives.All 7Broader topic 1Related 4Compared with 2Ernst ZermeloBroader topic: Zermelo’s 1908 system restricted set formation to avoid unrestricted comprehension.Axiom of pairingRelated: Together with pairing, it supports restricted set constructions without unrestricted comprehension.Axiom of unionRelated: Separation restricts an available set, while union gathers elements from a family of sets.Set-builder notationRelated: It formalizes set-builder definitions while avoiding unrestricted comprehension.Axiom of Power SetCompared with: Unlike Power Set, Separation only selects from a set that already exists.Axiom schema of replacementCompared with: Separation selects existing members, while replacement collects functionally assigned outputs.Axiom of Empty SetRelated: Together with another set’s existence, it can produce an empty subset.