• Faresh
    link
    fedilink
    English
    arrow-up
    13
    arrow-down
    1
    ·
    5 months ago

    I was taught ℕ did not contain 0 and that ℕ₀ is ℕ with 0.