Dictionary.com
Thesaurus.com

independent axiom

American  

noun

Logic, Mathematics.
  1. in a set of axioms, one that cannot be proved by using the others in the set.


Etymology

Origin of independent axiom

First recorded in 1900–05