元逻辑

来自术语
跳转至: 导航搜索

    亦称元数学,旨在对逻辑系统的元理论加以研究,研究对象包括形式语言、形式系统以及形式系统的语义等,常见的元性质包括相容性、完全性、可判定性等。

英文名 metalogic



链接

Wikipedia https://en.wikipedia.org/wiki/metalogic
Zhishi.me http://zhishi.me/hudongbaike/resource/元逻辑