Haskell Curry he'i matemática ha'éteha "la ciencia de los sistemas formales".