Mathematics does not grow through a monotonous increase of the number of indubitably established theorems but through the incessant improvement of guesses by speculation and criticism, by the logic of proofs and refutations.
Imre Lakatos (1976). “Proofs and Refutations: The Logic of Mathematical Discovery”, p.5, Cambridge University Press
