if your axioms support multiplication you’ll get division out of them for free
this is true... except when it isn't.
In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist