| 词语 | 形式系统 |
| 释义 | [formal system] 在逻辑中，指可以借以由其他公式推导出合式公式的一组形式语言与可演绎资料。每一个形式系统都有一种形式语言，包括一定形式规则（关于本系统所容许之词语的叙述）和由一组公理推论出来的一组定理。在任何公理系统中，基设符号都是不下定义的，其他所有符号都借基设符号来界定。例如，在欧几里得几何中，“点”、“线”、“介于”通常都当作初始术语。由初始符号所组成的某些公式被定义为合式的，其中一部分被列为公理；推演规则被用来从一个或多个作为前提的公式推演出一个作为结论的公式。在这样的系统中，一条定理是可以通过合式公式的有限序列加以证明的一个公式，这些合式公式中的每一个公式不是公理，就是从前面公式可以推得的公式。 |
| 随便看 |
汉语词典收录了463404条汉语词条，基本涵盖了全部常用汉语词语的中英文释义及用法，是汉语学习的有利工具。