Daraus folge, dass es möglich sein müsse, eine theoretische Semantik für jede natürliche Sprache zu erstellen, die die Bedeutungen einer unbegrenzten Zahl von Sätzen auf der Basis eines endlichen Systems von Axiomen angibt.