In 1941 Haskell Curry gave the first such system.
1941年ハスケル・カリーはそのような体系を与えた。