He used number theoretic models similar to those used by Ackermann to show the independence of his axioms.
Siya na ginamit bilang panteorya modelo ng katulad sa mga ginagamit ng Ackermann upang ipakita ang pagsasarili ng kanyang axioms.