6.001 Esto no dice nada más que cada proposición es un resultado de la aplicación sucesiva de la operación [math]\displaystyle{ N (\bar{\xi}) }[/math] a las proposiciones elementales.