形式系统
【拼音】：xíng shì xì tǒng
【繁体】：形式系統
【英语】：formal system
【拼音】：xíng shì xì tǒng
网友释义在逻辑与数学中，一个形式系统（英语：Formalsystem）是由两个部分组成的，一个形式语言加上一个推理规则或转换规则的集合。一个形式系统也许是纯粹抽象地制定出来，只是为了研究其自身。另一方面，也可能是为了描述真实现象或客观现实的领域而设计的。
读音:xíng
[xíng]
(1)（名）形状：方～｜图～｜地～。
(2)（名）形体；实体：有～｜～影不离。
(3)（动）显露；表现：喜～于色｜～诸笔墨。
(4)（动）对照：相～见绌｜相～之下。
读音:shì
[shì]
(1)（名）样式：新～｜西～。
(2)（名）格式：程～｜法～。
(3)（名）仪式；典礼：开幕～｜毕业～。
(4)（名）自然科学中表明某种规律的一组符号：分子～｜方程～。
(5)（名）一种语法范畴；表示说话者对所说事情的方式。如叙述式、命令式、条件式。
读音:xì,jì
[xì]
[ xì ]1. 有联属关系的：系统。系列。系数。水系。世系。
2. 高等学校中按学科分的教学单位：中文系。化学系。
3. 关联：干系。关系。
4. 联结，栓：系缚。系绊。系马。维系。名誉所系。
5. 牵挂：系恋。系念。
6. 是：确系实情。
7. 把人或东西捆住上提或向下送：从井下把土系上来。
8. 某些学科中分类的名称：汉藏（zàng ）语系。寒武系（地质学名词）。
[ jì ]1. 结，扣：把鞋带系上。
读音:tǒng
[tǒng]
(1)（名）事物彼此之间的联系。
(2)（副）总起来总括全部：～共。
