组成成分
形式系统
简介
在逻辑与数学中,一个形式系统(英语:formal system)是由两个部分组成的,一个形式语言加上一个推理规则或转换规则的集合。一个形式系统也许是纯粹抽象地制定出来,只是为了研究其自身。另一方面,也可能是为了描述真实现象或客观现实的领域而设计的。
| 中文名 | 形式系统 |
|---|---|
| 原始名称 | 形式系统 |
| 外文名 | formal system |
| 精选上位词 | 科学百科数理科学分类 |
| 英文名 | formal system |
| 领域 | 逻辑与数学 |
相关实体