independent axiom


noun Logic, Mathematics.

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

Origin of independent axiom

First recorded in 1900–05