Hacker News Reader

Well, you need to evaluate "{ x | x on Jupiter }" to know that it's ∅.

https://news.ycombinator.com/item?id=37478377

I love this discussion ><

Jupiter has no surface, so the proposition doesn't even parse.

In Jupiter, then.

In? What does it mean to be in if it has no surface? Let's try something probabilistic instead! Mahalanobis distance?

The set of 3D positions belonging to the surface of Jupiter is the empty set. All of those points have a Linux system on them with working audio.

There.

In which case every logical statement belonging to the set of “statements that begin with `∀ e ⊂ ∅` and are false” is true as well.

Yes.

Try me and find one single counter example to contradict me :-)

(edit: You could try something like ∀ e ⊂ ∅ ∨ ⊤ - adding "or true" at the end - but that's not really what littlestymaar meant)

https://en.wikipedia.org/wiki/Russell%27s_paradox

Not sure it's related, this set of statements is not about statements containing themselves or the set itself. You need a set of sets for the Russell paradox to have chances to kick in.