Tractatus

5.5352

Similarly it was proposed to express “There are no things” by “~(x).x=x”. But even if this were a proposition—would it not be true if indeed “There were things”, but these were not identical with themselves?