Esto último lo realizó mediante un proceso denominado numeración de Gödel.