6.001 Isto nada mais diz do que: cada proposição resulta da aplicação sucessiva da operação [math]\displaystyle{ N (\bar{\xi}) }[/math] sôbre as proposições elementares.