5.557

A aplicação da lógica decide que proposições elementares existem.