Universismo y multiversismo en la teoría de conjuntos postforzamiento

Este trabajo aborda la cuestión de si existe o no una única interpretación máxima del discurso de conjuntos. La cuestión es si hay uno o más lugares donde se interpreta nuestro discurso de conjuntos. En cierto modo, se trata de un retorno a la cuestión ontológica del "universo" de los objetos matemáticos descritos por los axiomas de la teoría de conjuntos. En efecto, la cuestión sobre la que gira este trabajo se reduce a saber, a la luz de la gran diversidad de construcciones teóricas de modelos, de qué tratan los axiomas de la teoría de conjuntos. Basándose en los resultados más recientes de la teoría de conjuntos post-forzamiento, cuestiona tanto la visión del universo único máximo como la del gran multiverso, para defender una posición híbrida de un "multiversismo provisional". Mi hipótesis es que la reflexión filosófica sobre las matemáticas no debería ser indiferente a la práctica matemática. En particular, la cuestión de si sólo existe una interpretación definida máxima del discurso del conjunto debe examinarse a través de las vías y enfoques explorados por los teóricos.