• hansl@lemmy.world
    link
    fedilink
    English
    arrow-up
    17
    ·
    7 months ago

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

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