A expressão "platonismo matemático" foi cunhada por Paul Bernays no seu artigo de 1935, "Sur le platonisme dans les mathématiques". Além de afirmar a existência de entidades abstratas da matemática, como os números, conjuntos e funções, o platonismo matemático caracteriza-se pela tese de que verdades matemáticas são descobertas e não criadas por meio das provas que as demonstram. Por isso, proposições matemáticas não demonstradas, como, por exemplo, a suposição de Goldbach, são consideradas portadoras de um valor de verdade definitivo, mesmo que ainda não saibamos qual, afinal, a nossa limitação epistêmica é um fato contingente e indiferente para o fato matemático bruto. Suspender o tertium non datur é assim a estratégia fundamental do nominalismo matemático na sua versão construtivista. Admitido o Platonismo Proposicional, a definição de matemática de Russell em Principles como classe de proposições de implicação formal o conduz inevitavelmente a um platonis...