• Jack Riddle
    link
    fedilink
    English
    arrow-up
    7
    ·
    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