Huh. That's surprising but quite persuasive, thank you for the references. I like the general view that a non-axiomatic divide can't introduce unsoundness so define it however is useful.
It has somewhat kicked the can down the road to defining the multiplicative inverse, but that's still a good step forward. Thank you
It has somewhat kicked the can down the road to defining the multiplicative inverse, but that's still a good step forward. Thank you