Matemática => Teoría de Conjuntos => Mensaje iniciado por: Buscón en 09/08/2018, 12:52:07 pm



Título: Prueba \(\forall x\forall y\exists!u\forall z(z,\in u\leftrightarrow z\in x\)...
Publicado por: Buscón en 09/08/2018, 12:52:07 pm

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


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