• JohnDClay@sh.itjust.works
    link
    fedilink
    English
    arrow-up
    3
    arrow-down
    6
    ·
    5 months 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.

    • Jack Riddle@sh.itjust.works
      link
      fedilink
      English
      arrow-up
      6
      ·
      5 months ago

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