• @[email protected]
    link
    fedilink
    English
    85 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).