29.

Texte formaté de la proposition 6.002 :

6.002 -- Si la forme générale est donnée selon laquelle une proposition est construite, du coup nous est donné la forme générale selon laquelle une opération peut engendrer d'une proposition une autre proposition.