Observations

"Curry’s use of combinators was connected very closely to his philosophy of mathematics: for him, a formal system was not a description of some pre-existing objects, but simply a structure built by induction from some primitives using certain rules, and he did not demand that a semantics for such a system be a total function."

src