Class The Axiom of Replacement is the axiom-scheme asserting that the image of a set under a Function Class is a set. As usual, we’ll have parameters:
Class The Axiom of Replacement is the axiom-scheme asserting that the image of a set under a Function Class is a set. As usual, we’ll have parameters: