For, above all, I hold a notion of possibility and necessity according to which there are some things that are possible, but yet not necessary, and which do not really exist. From this it follows that a reason that always forces a free mind to choose one thing over another (whether that reason derives from the perfection of a thing, as it does in God, or from our imperfection) does not eliminate our freedom.
Gottfried LeibnizWhen a truth is necessary, the reason for it can be found by analysis, that is, by resolving it into simpler ideas and truths until the primary ones are reached. It is this way that in mathematics speculative theorems and practical canons are reduced by analysis to definitions, axioms and postulates.
Gottfried Leibniz