From 1933 he did pioneering work in metalogic and constructed a nonstandard model of arithmetic.
Mula 1933 siya ay pangunguna ng trabaho sa metalogic at itinayo ng isang nonstandard modelo ng arithmetic.