Axiom:Matroid Axioms/Axioms 2