ZFC: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: - directa del Axioma de + directa de l'Axioma de |
m Corregit: - Axioma del Esquema de + Axioma de l'Esquema de |
||
Línia 63:
:<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
===8 Axioma de Regularitat===
| |||