Distinguió niveles de razonamiento lógico e introdujo la noción de metalógica.