Haskell Curry manjalas akan matematika sederhananya sebagai "ilmu sistem nang formal".