6.001

Isto nada mais diz do que: cada proposição resulta da aplicação sucessiva da operação N (ξ̄) sôbre as proposições elementares.