形式主義邏輯學派

認為只須證明由數學的公理出發,永遠推不出矛盾,那么數學的真理性就得到了保證。

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

相關詞條

熱門詞條

聯絡我們