6.1263 Pues también sería demasiado curioso si se pudiera probar una proposición significativa lógicamente a partir de otras, y también una proposición lógica. Está claro desde el principio, que la prueba lógica de una proposición significativa y la prueba en la lógica deben ser dos cosas completamente distintas.