That sometimes clear ... and sometimes vague stuff ... which is ... mathematics.
The history of mathematics, lacking the guidance of philosophy, [is] blind, while the philosophy of mathematics, turning its back on the most intriguing phenomena in the history of mathematics, is empty.
No experimental result can ever kill a theory: any theory can be saved from counterinstances either by some auxiliary hypothesis or by a suitable reinterpretation of its terms.
Blind commitment to a theory is not an intellectual virtue: it is an intellectual crime.