However, if a mathematician arrives at a "bad" result, the reaction is not always to revise the definition. Certainly not, I meant that as an example, not as a

However, if a mathematician arrives at a "bad" result, the reaction is not always to revise the definition. Certainly not, I meant that as an example, not as a full description of all cases. What I was trying to say is that the chain from axioms to conclusion must be complete, with every step explained and approved. But this is what I am trying to say does not always happen, or at least does not always happen right away. Another commenter, mreid cited Thurston's essay "On proof and progress in mathematics" which discusses this in far more detail and far more authoratitively than I possibly could. Hardy also touches on it in his "A Mathematician's Apology". Mathematics which is long settled, the type of thing generally studied in high school and for most of undergraduate mathematics education, is often (but not always) presented in this format, with axioms and definitions cleanly laid out and tiny steps form one to the other to arrive at the theorem. Mathematics for working mathematicians does indeed involve this, but it also often involves intuitive leaps, thoerems where the first proof is only vaguely sketched out, and reasoning from diagrams. They normally try to clean this up by the time it is published, but for a variety of reasons even there it is often not perfectly rigorous and hardly ever in tiny steps with every step justified by axiom or previous proof. There are many things held in common knowledge that are never cited. This is of course fine if the proofs are available, but steps away from that school house rigour immediately. Even beyond that, it is not uncommon for some ideas to only be sketched, and occassionally errors are found in the omitted steps in those sketches years after they have been formally peer reviewed and published. These sketches are used in proof of absolute formalism often just for the sake of time and space in the journal, but occassionally because no one has ever actually gone through and filled in every detail at all, trusting to the more intuitive logic of the sketch. The assumption in most cases is that it could be made perfectly rigorous if the need arised, but that is often only actually done if there is some question or debate.