“Haskell Curry at definidu sa matemàtica in manera simpre comente “s’iscièntzia de sos sistemas formales”.”