5.5261 Une proposition totalement généralisée est, comme chaque autre proposition, composée. (Ceci apparaît en ce que nous devons, dans « (∃x,φ). φx » mentionner séparément « φ » et « x ». Tous deux sont, indépendamment l'un de l'autre, dans des relations de dénotation avec le monde, comme dans une proposition non généralisée.)

Marque distinctive d'un symbole composé : il a quelque chose en commun avec d'autres symboles.