"Rules necessary for demonstrations. To prove all propositions, and to employ nothing for their proof but axioms fully evident of themselves, or propositions already demonstrated or admitted; Never to take advantage of the ambiguity of terms by failing mentally to substitute definitions that restrict or explain them."