please do all the questions!

5. If an axiom can be derived from other axioms in an axiom system, then the axiom system is not (a) contradictory (b) inconsistent (c) incomplete (d) independent 6. and are (a) quantifiers (b) domains (c) propositions (d) boolean functions 7. The statement " n is even an integer k such that (n=2k) is (a) a theorem (b) a definition (c) an axiom (d) a corollary 8. The statement "Any proposition is either true or false" is (a) true (b) false (c) an axiom (d) a definition