| 字词 | 形式主义逻辑学派 |
| 类别 | 中英文字词句释义及详细解析 |
| 释义 | 形式主义逻辑学派见“逻辑学”中的“形式主义逻辑学派”。 形式主义逻辑学派数理逻辑和数学基础研究中的一种学派，主要代表是德国的希尔伯特。认为只须证明由数学的公理出发，永远推不出矛盾，那么数学的真理性就得到了保证。因此，主张先将数学系统公理化，构成一个形式系统，然后用元理论证明该形式系统的无矛盾性。哥德尔的不完全性定理的建立，否定了这种可能性。参见“希尔伯特”。 |
| 随便看 |
|
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。