5.5562

Si sabemos por razones puramente lógicas que debe haber proposiciones elementales, entonces debe saberlo cada uno que entienda las proposiciones en su forma no analizada.