• @zzx
    link
    English
    41 year ago

    Russell is that you? Please stop breaking my formal systems

    • @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.