Haskell Curry makkedda matematika yaro sebage "paddisengeng sistem formal".