• @hansl
    link
    English
    1711 months ago

    Oh you like math? Name all the sets of sets that don’t include themselves.

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