Autor Tema: Prueba \(\forall x\forall y\exists!u\forall z(z,\in u\leftrightarrow z\in x\)...

0 Usuarios y 1 Visitante están viendo este tema.

09 Agosto, 2018, 05:52 pm
Leído 758 veces

Buscón

  • Matemático
  • Mensajes: 3,237
  • Karma: +1/-0
  • Sexo: Masculino

Probar que    \( \forall{\,x}.\;\forall{\,y}.\;\exists{!\,u}.\;\forall{\,z}.\;(z\in{u}\leftrightarrow{z\in{x}}\wedge z\not\in{y}) \).


P.D.: Utilizar para ello los axiomas de Separación, (Especificación o Comprensión), y Extensionalidad.