con cálculo lambda también puede demostrarse que 2+2=4, definiendo previamente qué es 2 y qué es la suma, claro: 2 = λ f x. f (f x) Y la operación suma: λ m n f x. n f (m f x) ((λ m n f x. n f (m f x)) (λ f x. f (f x)))(λ f x. f (f x)) ~> λ f x. f (f (f (f x))) [Que es 4] Lo que ya no sé es cuántos teoremas hay por debajo de eso, la verdad.
