• Leate_Wonceslace@lemmy.dbzer0.com
    link
    fedilink
    English
    arrow-up
    8
    arrow-down
    1
    ·
    6 months ago

    On top of that, I don’t think it’s particularly useful to have 2 different easy shorthands for the positive integers, when it means that referring to the union of the positive integers and the singleton of 0 becomes cumbersome as a result.