Suya es una de las primeras demostraciones del teorema de la deducción, con importantes aplicaciones tanto en lógica matemática como en metalógica.