Un platonista de "verdad" para la aritmética cree, dada una declaración en el lenguaje de la aritmética, que el problema de si la declaración es verdadera tiene una respuesta definitiva.
El profesor Hamkins ha defendido una visión multiverso de la teoría de conjuntos. Dado que diferentes modelos de ZFC pueden tener una aritmética diferente (es decir, modelo de los números naturales), me pregunto si el platonismo con respecto a la aritmética es consistente con la visión multiverso.
