Empleó la notación del ""cálculo lambda"" para poder expresar de un modo estándar cualquier fórmula matemática.