When 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.