ID: set builder notation with X such that X is not an element of X.

  • nekomusumeninaritai@lemmy.blahaj.zone
    link
    fedilink
    English
    arrow-up
    5
    ·
    1 year ago

    Ooh, cool.

    XX∉XXX∉X⇐⇒XX∉XXX∉X (1)

    XX∉XXX∉X∧¬XX∉XXX∉X (2)

    Thence G(me) (2,explosion)

    where G(x): x has 1,000,000 bars of gold

    Thanks for the gold