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