• Superb
    link
    fedilink
    English
    arrow-up
    3
    ·
    22 hours ago

    It can’t be an axiom if it can be defined by other axioms. An axiom can not be formally proven