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.