Ha hecho especial hincapié en el estudio de la metateoría y la metalógica analizando las aportaciones de Kurt Gödel.