La filosofía fundamental del realismo matemático platónico, ejemplificado por el matemático Kurt Gödel, propone la existencia del mundo de los objetos matemáticos independiente de los seres humanos; las verdades de estos objetos son descubiertos por seres humanos.