Haskell Curry ngartiang matematika wantah pinaka "ilmu sistem formal".