Template:Individual-TLP-paragraph-en-5.526

5.526 One can describe the world completely by completely generalized propositions, i.e., without from the outset co-ordinating any name with a definite object.

In order then to arrive at the customary way of expression we need simply say after an expression “there is one and only one x, which ....”: and this x is a.