6.001

Esto no dice nada más que cada proposición es un resultado de la aplicación sucesiva de la operación N (ξ̄) a las proposiciones elementales.