Apparently this reminder is needed.

It is a meme.

  • hglman@lemmy.ml
    link
    fedilink
    English
    arrow-up
    3
    ·
    7 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.