KnowraAxiom schema of replacementLinked fromLinked fromThe 5 pages that link to Axiom schema of replacement, each with the reason it gives.All 5Related 5Axiom of unionRelated: Replacement supplies sets of images; union then collects the elements of those images.Axiom of infinityRelated: Together with infinity, replacement helps form the stages of the cumulative hierarchy.Axiom schema of specificationRelated: Replacement supports set formation by definable images, rather than merely selecting elements.Axiom of Power SetRelated: Replacement and Power Set provide distinct ways to ensure collections formed from sets remain sets.Von Neumann–Bernays–Gödel set theoryRelated: Its set-level role in NBG matches the corresponding strength of ZF.