• CanadaPlus@lemmy.sdf.org
    link
    fedilink
    arrow-up
    11
    ·
    edit-2
    1 day ago

    Something like “sets that aren’t even hypercomputable aren’t real”. Inventing proper classes, which are like sets but randomly can’t go in other things, is a pretty lame solution, anyway. Although, it can probably emulate the former approach, and it’s easy to describe.

    Source: I have some flab some places.