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

  • nekomusumeninaritai@lemmy.blahaj.zoneEnglish
    0·
    11 months ago

    Ooh, cool.

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

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

    Thence G(me) (2,explosion)

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

    Thanks for the gold