In seinem im selben Jahr veröffentlichten Buch Metamathematik fasst er die Metamathematik als „Mathematik der Metatheorien“ auf, wobei eine Metatheorie eine (konstruktive oder axiomatische) Theorie über axiomatische Theorien darstellt.