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

Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2018