A typical mathematics system has four parts: undefined terms which cannot be precisely defined but are chosen arbitrarily to facilitate development; defined terms which are defined in terms of undefined terms; axioms and postulates which are general truths that form the basis of the system; and theorems which are statements derived from successive application of axioms and previously proved statements.