Axioms, therefore, when considered in and for themselves, are just as much in need of proof as are definitions and divisions, and they are not made into theorems only for the reason that, since they are relative firsts, they are assumed for a certain standpoint as presuppositions.