independent axiom

noun

, Logic, Mathematics.

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

Word History and Origins

Origin of independent axiom¹

First recorded in 1900–05