Haskell Curry definió las matemáticas simplemente como "la ciencia de los sistemas formales".