independent axiom

noun Logic, Mathematics.

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