The Oxford handbook of philosophy of mathematics and logic - Shapiro, Stewart (Oxford University Press, 2004)