5.555 Il est clair que nous avons le concept de proposition élémentaire indépendamment de sa forme logique particulière.

Mais quand il est possible de créer des symboles selon un système, c'est ce système qui est logiquement important et non les symboles individuels.

Et comment se pourrait-il qu'en logique j'aie affaire à des formes que je puis inventer ; c'est bien plutôt à ce qui me rend capable de les inventer que je dois avoir affaire.