Gracias a ello, los teoremas pueden expresarse como la transformación de cadenas de símbolos en otras, usando un conjunto de reglas formales en cálculo lambda.