método de modelos internos
¿Cuál es el método para demostrar que no se crearon contradicciones mediante la adición de axioma de fundación?
El axioma de fundación estableció que cada conjunto se puede construir desde abajo hacia arriba en una sucesión ordenada de pasos por medio de los principios de Zermelo y Fraenkel, de tal manera que si un conjunto pertenece necesariamente a otro entonces la primera. Para demostrar que la adición de este nuevo axioma a los demás no produjo contradicciones, von Neumann introdujo un método de demostración, llamado método de modelos internos, que más tarde se convirtió en un instrumento esencial en la teoría de conjuntos.
question: ¿Cuál es el método para demostrar que no se crearon contradicciones mediante la adición de axioma de fundación?, answer: método de modelos internos