• @NegativeInf
    link
    English
    2
    edit-2
    1 year ago

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