• bort@feddit.de
    link
    fedilink
    English
    arrow-up
    14
    ·
    8 months ago

    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

    https://en.wikipedia.org/wiki/Ring_(mathematics)

    • hydroptic@sopuli.xyz
      link
      fedilink
      English
      arrow-up
      13
      arrow-down
      1
      ·
      edit-2
      8 months ago

      Yeah I should maybe just have written

      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