Template:Individual-TLP-paragraph-pt-br-5.526

5.526 É possível descrever o mundo completamente por meio de proposições perfeitamente universalizadas, a saber, sem que de antemão um nome fôsse coordenado a um objeto.

Para chegar-se ao modo de expressão habitual deve-se simplesmente, depois de uma expressão “há um e um único x tal que...”, dizer: e êste x é a.