• PM_ME_VINTAGE_30S [he/him]
    link
    fedilink
    English
    arrow-up
    6
    ·
    1 day ago

    I think 0 has to always be in the set of digits because any number X can be written 0X, e.g. 1 = 01. See the derivation in the comment you replied to 😁