Aborda el debate fundamental entre el platonismo matemático (los objetos matemáticos existen independientemente de nosotros) y el formalismo (las matemáticas son simplemente manipulaciones de símbolos inventados). Si el universo físico dejó de existir, ¿seguirían siendo verdaderos los teoremas matemáticos? Desarrolla un argumento teórico defendiendo una de estas posiciones frente a la crítica empirista.