G.GF.1: Describe the structure of and relationships within an axiomatic system (undefined terms, definitions, axioms and postulates, methods of reasoning, and theorems) and explain differences among supporting evidence, counterexamples, and actual proofs. (E)