Mathematics is not a deductive science - that's a cliche. When you try to prove a theorem, you don't just list the hypotheses, and then start to reason. What you do is trial and error, experimentation, guesswork.
Paul R. Halmos, I Want to Be a Mathematician: An Automathography
cliche, deductive-logic, experimentation, guesswork, hypotheses, mathematics, prove, reason, trial