64. Texte formaté de la proposition 6.001

6.001 -- Cela ne signifie autre chose sinon que chaque proposition est un résultat de l'application successive de l'opération $N'(\overline{\xi})$ aux propositions élémentaires.