• Email@lemmy.world
    link
    fedilink
    English
    arrow-up
    7
    ·
    2 months ago

    Unsolved problems do not all fall into binary outcomes. They can be independent of axioms (the set of assumptions used to construct a proof).