Template:Individual-TLP-paragraph-es-5.5352
5.5352 Igualmente querría uno expresar «no hay ninguna cosa» mediante «~(∃x) . x = x». Pero incluso cuando esta fuera una proposición, ¿no sería ella también cierta, cuando en verdad «hubiera cosas», pero estas no fueran idénticas consigo mismas?