5.557

L’applicazione della logica decide di quali proposizioni elementari vi sono.