Lakatos's philosophy of mathematics shows that 'open problems' exist within fallible proof-practices...