Distinguishing between undefined terms, definitions, postulates, conjectures, and theorems