一阶理论是指建立在一阶逻辑基础上的理论。一个一阶理论是这样一个形式系统：(1)语言是一阶语言：(2)公理包含逻辑公理与非逻辑公理。(3)规则是谓词演算的变形规则。逻辑公理是由所选择的语言决定的，它独立于非逻辑公理。
【一的意思】：一 yī（一） （一）、数名，最小的正整数（在钞票和单据上常用大写“壹”代）。 详情>
【阶的意思】：阶（階） jiē（ㄐ一ㄝ） （一）、为了便于上下，用砖石砌成的或就山势凿成的梯形的道：阶除（台阶）。 详情>
【理的意思】：理 lǐ（ㄌ一ˇ） （一）、物质本身的纹路、层次，客观事物本身的次序：心理。肌理。条理。事理。（二） 详情>
【论的意思】：论（論） lùn（ㄌㄨㄣˋ） （一）、分析判断事物的道理：论断。论点。论辩。论据。论者。议论。讨论。 详情>