5.5562 Se sappiamo per ragioni puramente logiche che devono esservi proposizioni elementari, allora deve saperlo chiunque comprenda le proposizioni nella loro forma non analizzata.