• MBM@lemmings.world
    link
    fedilink
    English
    arrow-up
    4
    ·
    9 months ago

    Can you really talk about 1 or 2 before giving a proper set-theoretic construction of the natural numbers?