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 2Axiom 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 Empty SetRelated: Together with another set’s existence, it can produce an empty subset.