• FishFace@piefed.social
    link
    fedilink
    English
    arrow-up
    5
    ·
    5 hours ago

    The axiom of determinacy, which implies some of (or all?) of the statements in op, and is more or less stated at the end. AD implies ~AC but they’re not equivalent.