The power of mathematics relies on its logical representation and it depends on its strict disjunction between axiom and definition.
I'd learned lots of definitions while studying mathematics, but still however, axioms are always given only in the limited context, such as axioms postulated before learning set theory, and axioms postulated before learning analysis - not in a general context.
Is it my delusion to hope 'It would be better if there's a set of axioms that universally used in all mathematical branches.'?
I'd like to hear some advice on this issue.