“Haskell Curry defïniëerde wiskunde simpelweg es ‘de weitesjap vaan formele systeme’.”