一阶理论_哲学术语 - 国学百科m.yc-ky.net

一阶理论

哲学术语

一阶理论是建立在一阶逻辑基础上的形式系统，由一阶语言、公理集和推演规则构成。其公理分为逻辑公理与非逻辑公理两类。

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

参考资料

最新修订时间：2025-11-13 18:01

条目作者

概述

参考资料