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.
Man’s main task in life is to give birth to himself, to become what he potentially is. The most important product of his effort is his own personality.