axiomatic system

/AE0 K S IY0 AH0 M AE1 T IH0 K S IH0 S T AH0 M/
noun
  1. 1

    (logic) A set of axioms from which theorems can be derived.