Template:Individual-TLP-paragraph-fr-5.5352

5.5352 De même, on voudrait exprimer qu'« il n'y a aucune chose » par « ~(∃x) . x ⊃ x ». Mais à supposer même que ceci soit une proposition, ne serait-elle pas encore vraie si en effet « il y avait des choses », mais que ces choses ne fussent pas identiques à elles-mêmes ?