形式系统

形式系统，形式系统，形式系统，形式系统(formal system)在逻辑中，指从一组公理出发，通过推理而产生的词项和内含关系的一种抽象的理论结构。每一个形式系统都有一形式语言，由基设符号（初始符号）及作用於这些符号的形成规则与形变规则（使我们能从一组公理进行推演）所组成。简要说，一个形式系统包括由基设符号藉有限组合而建立的许多公式；公式...