If a definition can be tentative, it can also be wrong. Lakatos has been mentioned already. This is actually a fairly basic issue in understanding how "formal" mathematics advances. Something as fundamental as integration has seen inadequate definitions such as the Riemann integral pushed out by the Lebesgue integral. In this case the "wrong" definition has not simply been supplanted, though.