• TempermentalAnomaly@lemmy.world
    link
    fedilink
    English
    arrow-up
    5
    ·
    4 days ago

    ZF handles it. The C adds the axiom of choice. But ZF is enough for dealing with the Russel paradox. Oddly enough, Zermelo, the Z in ZF, published the Russel paradox a year before Russel.