【形式系统】的解释、拼音

解释如下：↓

• 通常由以下四部分组成：
  (1)一组基本符号。
  (2)由基本符号构成系统中各种成分的规则，可以称之为构造规则。
  (3)系统中各成分间的一组基本关系，可以称之为公理。
  (4)由基本关系推出新关系的一组推导规则。谓词演算、语言的文法、平面几何的公理系统等都是形式系统。

来源：辞书

副都统 副总统 创统 乾统 傍统 传统 僧统 分统 人统 形形色色 防锁死煞车系统 档案搜寻系统