5.5562 Si nous savons par des raisons purement logiques qu'il doit y avoir des propositions élémentaires, quiconque comprend les propositions sous leur forme non analysée doit alors le savoir.