The truth is a trap: you cannot get it without it getting you; you cannot get the truth by capturing it, only by its capturing you.
Mathematics is not a deductive science—that's a cliché. 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.