كيعرف هاسكل كاري الرياضيات بشكل بسيط على أنها "علم الأنظمة الرسمية".