An axiomatic system consists of some indistinct terms (primitive terms) and a listing of statements, called axioms or postulates, concerning the indistinct terms. One receives a mathematical theory by establishing new observations, called theorems, using only the axioms (postulates), logic system, and previous theorems.
