Semmilyen matematikáról nem tudjuk bebizonyítani, hogy hûséges leírása lenne a természetnek, mert bizonyítható igazságok egyedül magukkal a matematikai struktúrákkal, nem pedig azoknak a valósághoz fûződő viszonyával kapcsolatban léteznek.