网站首页 词典首页
(论证的理论)一种研究形式系统和演算的不同性质(无矛盾性、完全性等等)的理论。
“元数学”这一术语是由希尔伯特制定的。这一术语与他的数学基础概念(形式主义)有联系。近年来在这个领域中获得了一系列重要成果(关于形式算术不完全性的哥德尔定理，关于借助这一系统内部的形式化工具证明系统的无矛盾性是不可能的定理，等等)。
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。