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
if your axioms support multiplication you’ll get division out of them for free*
*certain terms and conditions may apply. Limited availability in some structures, North Korea, and Iran. Known to the state of California to cause cancer or reproductive toxicity
this is true… except when it isn’t.
https://en.wikipedia.org/wiki/Ring_(mathematics)
Yeah I should maybe just have written