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

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