n. a statement that is stipulated to be true for the purpose of constructing a theory in which theorems may be derived by its rules of interference; a primitive statement of a deductive formal system. Compare assumption.