هاسکیل کوری "ریاضیات را علم سیستم های رسمی تعریف" کرد.