In Heidegger: <i>'What is metaphysics'</i>, struck me in that the 'Nothing' he speaks of is so close to the empty set. So by attempt lets assume to treat Heidegger's nothing for the empty set (/). And now we can apply set theory to it and deductively find relations. Once we have a list of relations we can see if there are contradictions to the reading's list of relations.

So a list of relations in Heidegger's text would be:

"We assert that the nothing is more original that the "not" and negation." "The Nothing is not the negation of beings." "Being comes from the nihilation of nothing" "Nothing comes from the nihilation of Being"

ok so lets try some instrumental translation...

The first quote we interpret as:

Negation is given by the empty set.. so,
If the (/) "empty set" is in our language then the formula ~(/) "not the empty set" also is.

The second Quote: (/) =/= ~B "Empty set is not equal to the negation of beings."

The two last quotes: You should know of the difference between Being and beings if you have read some of Heidegger's text. Now for Heidegger it seems clear to me that the universe is Being, he would say "we are beings in Dasein". So all possible and actual beings, here interpreted as b and ~b, are part of Being. I translate this into a set B:{b, ~b} Where b is beings and ~b not beings, both of them member to Being. What I find awesome is that in set theory its clear that "not nothing is everything" and in some way if we take the universe to be everything then just as Heidegger said beautifully "Being comes from the nihilation of nothing"... "Nothing comes from the nihilation of Being"

And for example set theory, where U is the universal set

~(/) = U "is said (/) =~U