[random3]

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?

[sweezyjeezy]

Yes they are different - example: https://en.m.wikipedia.org/wiki/Parallel_postulate