La axiomatización de las matemáticas, en el modelo de los elementos de Euclides, había alcanzado nuevos niveles de rigor y amplitud a finales del siglo XX, particularmente en la aritmética, gracias al esquema axioma de Richard dedekind y Charles Sanders peirce, y geometría, gracias a David Hilbert. A principios del siglo 20, los esfuerzos para basar las matemáticas en la teoría de los conjuntos ingenuos sufrieron un retroceso debido a la paradoja de Russell (en el conjunto de todos los conjuntos que no pertenecen a sí mismos). El problema de una axiomatización adecuada de la teoría del conjunto se resolvió implícitamente unos veinte años más tarde por ernst zermelo y Abraham fraenkel. La teoría del set de zermelo-Fraenkel proporcionó una serie de principios que permitieron la construcción de los conjuntos utilizados en la práctica cotidiana de las matemáticas. Pero ellos no excluyen explícitamente la posibilidad de la existencia de un conjunto que pertenece a sí mismo. en su tesis doctoral de 1925, von Neumann demostró dos técnicas para excluir tales conjuntos - el axioma de la fundación y la noción de clase.
Qué 2 técnicas utilizan von Neumann para excluir los sets en su tesis doctoral en 1925?
 el axioma de la fundación y la noción de clase.