• Kogasa@programming.dev
    link
    fedilink
    arrow-up
    0
    ·
    1 month ago

    The axiom of choice doesn’t say one way or another whether the spectrum in “the standard order” (is there a standard definition of more/less gay?) is a well ordering, only that there is some well ordering.