• zzx@lemmy.world
    link
    fedilink
    English
    arrow-up
    1
    arrow-down
    1
    ·
    1 year ago

    Russell is that you? Please stop breaking my formal systems

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

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