“Haskell Curry el ga definio ła matematica semplicemente come “”ła sciensa dei sistemi formałi””.”