Ya he encontrado algunas preguntas similares aquí (y otros sitios), pero en la mayoría de los casos, el uso del axioma de la fundación se requiere para completar la prueba. ¿Hay alguna manera de probar$\not\exists x(x\in x)$, sin usar el axioma?
Gracias de antemano.
