• @Email@lemmy.world
    link
    fedilink
    English
    82 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).