Hi guys, I stumbled upon this lovely quote from the philosopher of science Wesley Salmon: "The fool hath said in his heart that there is no null set. But if that were so, then the set of all such sets would be empty, and hence, it would be the null set. Q.E.D." (in Martin Gardner, Mathematical Magic Show, 1989, p.33) This proof was obviously meant by Salmon as having to be taken with a grain of salt. Nevertheless, I don't believe he took it to be nothing but a joke. What I would like to know is if this proof holds up in any of the formalized systems of set theory. In other words: is it possible to formalize Salmon's proof? The problem with that, I think, is that Salmon presupposes a principle of comprehension. He seems to reason as follows: if there is a property E such that Ex means "x is an empty set", then there must be a set S containing all objects of which E is true. Hence if -∃x(Ex), then S must be an empty set. The problem, of course, is that comprehension leads to paradoxes in set theory and is therefore replaced by extensionality as a way to identify sets. One of these paradoxes is that comprension can lead to self-inclusion which can lead to Russell's paradox. In Salmon's proof, too, there seems to be paradoxical self-inclusion, since S being the set of all empty sets must be an element of itself if it is an empty set, in which case it wouldn't be empty... I would like to hear what you think? Is Salmon's proof complete nonsense from a formal point of view? Or are there formel systems in which it could be expressed? And if so, how? Thank you P.