ويترتب على ذلك فإنه يجب أن يكون من الممكن أن يعطي دلالات النظرية عن أي اللغة الطبيعية التي يمكن أن تعطي معاني عدد لا حصر له من الأحكام على أساس نظام محدود من البديهيات.
It follows that it must be possible to give a theoretical semantics for any natural language which could give the meanings of an infinite number of sentences on the basis of a finite system of axioms.