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

  • @nekomusumeninaritai
    link
    English
    911 months 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