• @Ultraviolet
    link
    English
    2
    edit-2
    7 hours ago

    That’s a bit of a misnomer, it’s a derivation of the entirety of the core arithmetical operations from axioms. They use 1+1=2 as an example to demonstrate it.