Ha indagado los sistemas autorreferenciales, poniendo énfasis en las teorías de punto fijo, en las dificultades desarrolladas por ésta y el problema de la universalidad del lenguaje (a saber, que en el lenguaje natural se puedan expresar todas las propiedades de sus propias expresiones).