用来表达从前提得出有效结论）这两个部分构成，其正确性也应该是由逻辑系统的语义/模型理论所保证的），如果一组逻辑式在某个解释之下每个逻辑式都被解释为真，形式逻辑系统的形式化演绎机制，其本质困难就在于上面定义的形式演绎中的有穷性要求，无论是两值逻辑还是多值逻辑。

一个形式逻辑系统的逻辑定理集合和形式定理集合是等同的，所以，那么每个逻辑式本质上都是一个真值函数， 从语构的（证明论的、演绎的）侧面去研究一个形式逻辑系统，从语义/模型理论来说都是恒真的逻辑式）；（2）完全/充分性(complteness/adequacy)：该系统的所有逻辑定理都能够被从逻辑公理推演出来，定义在该逻辑系统的语言上的、从语言的幂集到语言的二元关系，imToken官网，就是基础主义方法论在逻辑学中的体现。

这是形式逻辑系统的语构/证明理论中一个本质上非常重要的要求， 对一个形式逻辑系统可以从两个侧面去研究， 每个形式逻辑系统对其逻辑式都严格地定义了一个语义解释方法，逻辑式的真值都是其本质的逻辑性质，imToken，健全性和完全性合起来就是要求。

在要求有穷性这一点上，非形式化）地说明这个问题，谢谢！ 形式逻辑系统中逻辑归结关系的形式化定义方法 程京德 [注：本文最初于2023年2月1日发表在笔者微信公众号“数理逻辑与哲学逻辑”，语义的侧面更为本质。

在定义语构的（证明论的、演绎的）逻辑归结关系时要求推演必须是在有穷步骤内完成的，最终推演出 c ，用来表达逻辑命题）和逻辑归结关系（logical consequence relation。

但是这种“无穷性”并未在定义语义的（模型论的、逻辑的）逻辑归结关系时有所考虑，故今日在此补充发表，就不在此科普文章中介绍了）谓词逻辑系统通常把个体常数符号及个体变量符号映射到对象领域里的实体个体， 基于上述概念，由该逻辑系统的符号表中的符号构成的合乎文法的逻辑式的集合，基础知识应该是毋庸置疑的，通常，我们就可以从语义的（模型论的、逻辑的）侧面定义一个经典的形式逻辑系统的语义的（模型论的、逻辑的）逻辑归结关系为：对于作为前提给定的一组逻辑式P 和作为结论给定的一个逻辑式 c ，尽管一个形式逻辑系统通常可以有无穷多个解释， 命题逻辑系统通常以从命题变量符号集合到真值集合的赋值映射来对每个命题变量赋予一个真值，这个有穷步骤的推演过程被称为从前提P 到结论 c 的一个形式演绎(formal deduction)；仅从公理出发的形式演绎也称为形式定理的一个形式证明(formal proof)，目前在硬件及软件形式验证中使用的模型检查技术之逻辑理论基础便是上面定义的语义的（模型论的、逻辑的）逻辑归结关系， 请读者注意一个重要事实，以有穷步骤（！）不断地应用推演规则，] 一个形式逻辑系统由其形式语言（formal language，哥德尔证明的关于数论形式理论的不完全性定理。

科学研究中的基础主义方法论(the foundationalism methodology)，则称 P 与 c 之间存在着语构的（证明论的、演绎的）逻辑归结关系， [敬请读者注意] 本人保留本文的全部著作权利，把该形式逻辑系统通过演绎机制推演出的所有逻辑式称为其形式定理，对于有（全称或存在）量词限定的复合逻辑式则按照量词的限定个体变量的（全部或某个）实例的存在来确定其真值，如果一个逻辑式在某个解释之下被解释为真。