• @Sop@lemmy.blahaj.zone
    link
    fedilink
    English
    231 year ago

    That’s not an axiom or definition, it’s a consequence of the axioms that define arithmetic and can therefore be proven.

    • @JohnDClay@sh.itjust.works
      link
      fedilink
      English
      31 year ago

      There are versions of math where that isn’t true, with infinitesimals that are not equal to zero. So I think it is an axium rather than a provable conclusion.

      • JackRiddle
        link
        fedilink
        English
        61 year ago

        Those versions have different axioms from which different things can be proven, but we don’t define 9.9 repeating as 1