• hansl@lemmy.world
    link
    fedilink
    English
    arrow-up
    12
    ·
    1 year ago

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

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