6.001

Cequine dit rien d’autre que ceci : chaque proposition est le résultat d’applications successives de l’opération N ( ξ̄ ) à des propositions élémentaires.