ZFC: diferència entre les revisions
Contingut suprimit Contingut afegit
Línia 62:
Formalment:
:<math>\forall x \forall y \forall z(\phi (x,y,p) \and \phi (x,z,p) \rightarrow y=z) \rightarrow \forall X \exist Y \forall y (y \in Y \leftrightarrow (\exist x \in X) \phi (x,y,p))</math>
Com en el cas de l'axioma de separació, per a cada funció <math>\phi</math>, la fórmula anterior és un axioma, per això se l'anomena Axioma del Esquema de Reemplaçament.
===8 Axioma de Regularitat===
| |||