• @MBM
    link
    English
    410 months ago

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