5.5571

Se não posso indicar a priori as proposições elementares, querer indicá-las deve redundar num patente absurdo.