形式主義邏輯學派

數理邏輯和數學基礎研究中的一種學派，主要代表是德國的希爾伯特。認為只須證明由數學的公理出發，永遠推不出矛盾，那么數學的真理性就得到了保證。因此，主張先將數學系統公理化，構成一個形式系統，然後用元理論證明該形式系統的無矛盾性。哥德爾的不完全性定理的建立，否定了這種可能性。