 Why does Lakatos hail the “empiricism” that he also condemns? Because it means that mathematics has the same kind epistemic structure that science has according to Popper. It’s a matter of axiomatic conjectures that can be mathematically refuted. (The difference between science and mathematics consists in the differences between the potential falsifiers.)