Para poder llegar a una definición de booleanos en cálculo lambda, se comienza con su especificación: