axiomatist

Noun

 * 1) One who formulates a system of axioms.