हास्केल करी हर गणित के "औपचारिक प्रणालिमन के विज्ञान" के रूप में परिभाषित करिस।