• Kogasa@programming.dev
    link
    fedilink
    English
    arrow-up
    3
    arrow-down
    1
    ·
    6 months ago

    Google it? Axiomatic definition, dedekind cuts, cauchy sequences are the 3 typical ones and are provably equivalent.