Axiom:Axiom of Replacement/Also presented as
Jump to navigation
Jump to search
Axiom of Replacement: Also presented as
The Axiom of Replacement may be presented as a single (somewhat unwieldy) expression:
- $\forall x: \exists ! y : \map P {x, y} \implies \forall A: \exists B: \forall y: \paren {y \in B \iff \exists x \in A : \map P {x, y} }$