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

    Russell is that you? Please stop breaking my formal systems

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

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