Axiom schema of replacement (source code)

= Axiom schema of replacement
{wiki=Axiom_schema_of_replacement}

The Axiom Schema of Replacement is a fundamental concept in set theory, particularly in Zermelo-Fraenkel set theory (ZF), which forms the basis of much of modern mathematics. This axiom schema deals with the existence of sets that can be defined by a certain property or function.