6.001

Questo non dice altro se non che ogni proposizione è un risultato dell’applicazione successiva dell’operazione N (ξ̄) alle proposizioni elementari.