• @zzx
    link
    English
    411 months ago

    Russell is that you? Please stop breaking my formal systems

    • @NegativeInf
      link
      English
      2
      edit-2
      11 months ago

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