"Haskell Curry meudefinisikan matematika hanya seubagai ""ilmu sistem formal""".