Axiom:Axiom of Replacement/Also presented as

From ProofWiki
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} }$