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

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