释
形式系统
xíng shì xì tǒng · ㄒㄧㄥˊ ㄕˋ ㄒㄧˋ ㄊㄨㄥˇ
修撰于 2026-06-30 12:27:52
音义
| 拼音 | xíng shì xì tǒng |
|---|---|
| 字母 | xing shi xi tong |
| 首字母 | xsxt |
| 注音 | ㄒㄧㄥˊ ㄕˋ ㄒㄧˋ ㄊㄨㄥˇ |
| 注音符号 | ㄒㄧㄥ ㄕ ㄒㄧ ㄊㄨㄥ |
广训
在逻辑与数学中，一个形式系统（英语：Formal system）是由两个部分组成的，一个形式语言加上一个推理规则或转换规则的集合。一个形式系统也许是纯粹抽象地制定出来，只是为了研究其自身。另一方面，也可能是为了描述真实现象或客观现实的领域而设计的。