The philosophy of mathematics - Hart, W. D. (Oxford University Press, 1996)