Voici probablement la leçon la plus importante de ce chapitre, à
condition d'en comprendre toute la profondeur: le système pg semble
nous obliger à reconnaître que bien qu'ils soient, au départ, dépourvus de sens,
les symboles d'un système formel acquièrent inévitablement une « signification »,
tout au moins lorsqu'un isomorphisme est découvert.