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

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