“strict mathematical form, with propositions, proofs, corollaries, lemmas, scholiums, and the like. However, the subject matter of metaphysics and of morals is not very satisfactorily”