Definitions, Properties, Postulates, and Theorems