Template:Individual-TLP-paragraph-en-5.5352

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?