independent axiom

independent axiom

[‚in·di‚pen·dənt ′ak·sē·əm] (mathematics) A member of a set of axioms that cannot be deduced as a consequence of the other axioms in the set.