澳门新葡8455最新网站它独立于非逻辑公理

当前位置:澳门新葡8455最新网站 > 澳门新葡8455最新网站 > 澳门新葡8455最新网站它独立于非逻辑公理
作者: 澳门新葡8455最新网站|来源: http://www.xiaoyaozhuan.com|栏目:澳门新葡8455最新网站

文章关键词:澳门新葡8455最新网站,一阶理论

  声明:百科词条人人可编辑,词条创建和修改均免费,绝不存在官方及代理商付费代编,请勿上当受骗。详情

  一阶理论是指建立在一阶逻辑基础上的理论。一个一阶理论是这样一个形式系统:(1)语言是一阶语言:(2)公理包含逻辑公理与非逻辑公理。(3)规则是谓词演算的变形规则。逻辑公理是由所选择的语言决定的,它独立于非逻辑公理。澳门新葡8455最新网站

  逻辑公理是由所选择的语言决定的,它独立于非逻辑公理。公理包含逻辑公理与非逻辑公理,不同的一阶理论有不同的非逻辑公理。逻辑公理是由所选择的语言决定的,它独立于非逻辑公理,如形式化的自然数经典公理。

网友评论

我的2016年度评论盘点
还没有评论,快来抢沙发吧!