En su tesis doctoral de 1925, von Neumann demostró cómo era posible excluir esta posibilidad en dos formas complementarias: el "axioma de la fundación" y la noción de "clase".