Definition that contains educible
- primary not derived from or reducible to something else; basic
- consistency (logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
- theorem a proposition deducible from basic postulates