• PrimeMinisterKeyes
    link
    fedilink
    English
    arrow-up
    2
    ·
    3 hours ago

    At first, I thought this was going to be about constructing the cardinal numbers ℵ1, ℵ2, ℵ3