, Volume 54, Issue 2, pp 173-194

First online:

Platonistic Formalism

  • L. HorstenAffiliated withCenter for Logic, Philosophy of Science & Philosophy of Language, University of Leuven

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


The present paper discusses a proposal which says,roughly and with several qualifications, that thecollection of mathematical truths is identical withthe set of theorems of ZFC. It is argued that thisproposal is not as easily dismissed as outright falseor philosophically incoherent as one might think. Some morals of this are drawn for the concept ofmathematical knowledge.