Diferencia entre revisiones de «Axiomas de Zermelo-Fraenkel»
Contenido eliminado Contenido añadido
Los axiomas de Zermelo-Fraenkel: Yo, al menos no cojo conjuntos; Si alguien tiene sexo con ellos es su problema |
|||
Línea 74:
{{ecuación|<math>\forall x\exists y\forall a (a\in y\ \leftrightarrow\ a\in x\wedge\phi(a))</math>}}
'''7. [[Esquema axiomático de reemplazo]].''' Si <math>\phi(a,b)</math> es una sentencia tal que para cualquier elemento <math>a</math> de un conjunto <math>x</math> el conjunto <math>y=\{b\mid\phi(a,b)\}</math> existe, entonces existe una función ''f:x→y'' tal que ''f(a)=y''. Formalmente, si
{{ecuación|<math>\forall x\forall y\forall z\exists v (x\in v\wedge \phi(x,y)\wedge (\phi(x,z)\rightarrow y=z))</math>}}
entonces
| |||