Haskell Curry definiowoł matymatyka ajnfach za "nauka ô formalnych systymach".