最近在查资料时注意到「一阶理论」这个词，索性整理成一篇小笔记，方便以后查阅，也分享给同样感兴趣的朋友。
- 拼音
- yī jiē lǐ lùn
- 字母
- yi jie li lun
- 首字母
- yjll
- 注音
- ㄧ ㄐㄧㄝ ㄌㄧˇ ㄌㄨㄣˋ
一阶理论是指建立在一阶逻辑基础上的理论。一个一阶理论是这样一个形式系统：(1)语言是一阶语言：(2)公理包含逻辑公理与非逻辑公理。(3)规则是谓词演算的变形规则。逻辑公理是由所选择的语言决定的，它独立于非逻辑公理。
一阶理论
yī jiē lǐ lùn · ㄧ ㄐㄧㄝ ㄌㄧˇ ㄌㄨㄣˋ