形式公理主義

形式公理主義(formalism)亦稱形式公理學派.數學基礎理論的分支之一其觀點如下:1.就“無窮觀”問題而言，認為古典數學中包含“絕對無窮”(實無限)概念的命題確實是“超越人們直觀性證據之外的東西”.2.既然肯定了實無限概念，也就承認超窮集合的概念.3.主張對古典數學作形式化的奠定，使之成為形式公理化理論，而這個理論本身必須證明是協調的(無矛盾的).形式公理學派的創始人是希爾伯特(Hilbert,D..希爾伯特想把全部數學都納入到形式公理化中去的計畫，已為哥德爾(Uodel , K.)在1931年公布的“不完備定理’，指明是不能徹底實現的.