three essential parts: of defining the terms of which we should avail ourselves by clear definitions; of proposing principles or evident axioms to prove the thing in question; and of always mentally substituting in the demonstrations the definition in the place of the thing defined.