• Ultraviolet@lemmy.world
    link
    fedilink
    English
    arrow-up
    2
    ·
    edit-2
    27 days 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.