Problems in the philosophy of mathematics - Lakatos, Imre (Studies in logic and the foundations of mathematics., 1967)