• affiliate
    link
    fedilink
    English
    arrow-up
    3
    ·
    1 year ago

    just use a well ordering of the reals and you should be fine