• NegativeInf@lemmy.world
    link
    fedilink
    English
    arrow-up
    2
    ·
    edit-2
    1 year ago

    Here’s a thousand page proof defining all the logical underpinning required to prove that 1 + 1 = 2.