It is this way that in mathematics speculative theorems and practical canons are reduced by analysis to definitions, axioms and postulates.