“Haskell Curry al definive la matematiche come ‘la sience dai sistemis formâls’.”