Apparently this reminder is needed.

It is a meme.

  • bort@feddit.de
    link
    fedilink
    arrow-up
    7
    ·
    11 months ago

    A set can totally contain itself. A better question would be: Consider a set, that contains all sets, that do not contain themself. Would that set contain itself?

    • hglman@lemmy.ml
      link
      fedilink
      English
      arrow-up
      3
      ·
      11 months ago

      Yes, just relax the axiom of comprehension, allow U ∈ U and move on with proving things for fun and profit. No one said that you have to pick axioms that seem natural or intuitive.