Haskell Curry o l’à definio a matematica solo comme «a sciensa di scistemi formali».