Al hacerlo, ayudó a fundar lo que ahora son conocidos como metamatematicas y modelo teórico.