Quine–Putnam indispensability argument — argument in the philosophy of mathematics