形式主義學派數學哲學(formalism in phi-losophy of mathematics)現代西方的一種數學哲學觀.它是一種主張數學是關於形式系統的科學，數學的存在即無矛盾的數學哲學思想.在數學哲學研究中，自稱形式主義的有克里(Curry , H. )魯賓孫(Robinson, A.)等.他們把數學定義為關於形式系統的科學. 在數學本體論問題上，形式主義學派認為數學對象是一堆毫無實際內容的形式符號體系.不管從什麼假設出發，只要這些假設能以符號形式明顯地表示，用形式的演繹來推理，就成為數學.形式主義學派完全否定了討論數學本體論問題的必要性，更不承認數學對象有任何客觀意義. 在數學認識論問題上，形式主義學派認為數學體系無真理性可言，只能考慮其可接受性問題.形式主義學派把數學認識活動完全限於認識主體自身範圍內，認為數學發展的主要動力是內在的原因，也就是對於要解決的問題本身的深人思考，而問題的來源如何關係不大.形式主義學派並不贊成毫無根據的抽象和形式化公理化，而是要求解決問題，富有成果，但其所指問題絕大部分是數學自身問題.因此，形式主義學派對數學發展中經驗和套用的啟示不屑一顧.有的形式主義者甚至主張在數學教育中也無須引人直覺、經驗和套用因素，只要把形式化的數學結構體系直接灌輸給學生就可以了.
