释
一阶理论
yī jiē lǐ lùn · ㄧ ㄐㄧㄝ ㄌㄧˇ ㄌㄨㄣˋ
修撰于 2026-06-29 17:58:05
音义
| 拼音 | yī jiē lǐ lùn |
|---|---|
| 字母 | yi jie li lun |
| 首字母 | yjll |
| 注音 | ㄧ ㄐㄧㄝ ㄌㄧˇ ㄌㄨㄣˋ |
| 注音符号 | ㄧ ㄐㄧㄝ ㄌㄧ ㄌㄨㄣ |
广训
一阶理论是指建立在一阶逻辑基础上的理论。一个一阶理论是这样一个形式系统：(1)语言是一阶语言：(2)公理包含逻辑公理与非逻辑公理。(3)规则是谓词演算的变形规则。逻辑公理是由所选择的语言决定的，它独立于非逻辑公理。