5.526 On peut décrire complètement le monde au moyen de propositions totalement généralisées, c'est-à-dire, par conséquent, sans coordonner par avance aucun nom à un objet déterminé.

Pour passer alors au mode d'expression usuel il suffit, après une expression comme : « il y a un x et un seulement tel que... », d'ajouter : et cet x est a.