Dieses Standardwerk zu philosophischen Hintergründen des mathematischen Denkens und Sprechens, Lehrens und Lernens bietet einen umfangreichen Abriss zur Geschichte der Philosophie der Mathematik bis hin zu aktuellen Strömungen. Es diskutiert mathematische und philosophische Grundfragen der historischen wie der modernen Mathematik. Über Mengenlehre, Logik und Axiomatik führt es in mathematische Grundlagen ein, untersucht das Verhältnis von Wahrheit und Beweis und stellt fundamentale Ergebnisse, ungelöste und unlösbare Probleme vor.