Lambda calculus
This definition is valid if there is one and only one function formula_31 that satisfies the equation formula_32, but invalid otherwise. This is the core of the problem that Stephen Cole Kleene and then Haskell Curry discovered with combinatory logic and Lambda calculus.