Are the theories beyond axiom fundamentally different if axioms are changed, though? And if not, aren't then axioms merely props or placeholders for invariants?