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