形式主义逻辑学派

形式主义逻辑学派，数理逻辑和数学基础研究中的一种学派，主要代表是德国的希尔伯特。认为只须证明由数学的公理出发，永远推不出矛盾，那么数学的真理性就得到了保证。因此，主张先将数学系统公理化，构成一个形式系统，然后用元理论证明该形式系统的无矛盾性。哥德尔的不完全性定理的建立，否定了这种可能性。