This is an excellent point. When I took algebra as an undergraduate I was blown away by the fact that you can choose any axioms and then derive an algebra based on those axioms. I was blown away because prior to that course I just assumed that our “standard” axioms were immutable.