Con el objetivo de demostrar que la adición de este nuevo axioma a los otros no implicaba contradicciones, von Neumann introdujo un método de demostración (llamado "método de los modelos internos") que más tarde se convertiría en un instrumento esencial de la teoría de conjuntos.