Diferencia entre revisiones de «Axiomas de Zermelo-Fraenkel»
Contenido eliminado Contenido añadido
Línea 62:
{{ecuación|<math>\exists\empty\forall a (a\notin\empty)</math>}}
'''3. Axioma de pares.''' Dados cualesquiera conjuntos <math>x</math>
{{ecuación|<math>\forall x,y\exists z\forall a (a\in z\ \leftrightarrow\ a=x\vee a=y).</math>}}
| |||