• Email@lemmy.world
    link
    fedilink
    English
    arrow-up
    8
    ·
    12 days 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).