• @MBM
    link
    English
    49 months ago

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