6.001 Questo non dice altro se non che ogni proposizione è un risultato dell'applicazione successiva dell'operazione alle proposizioni elementari.