形式系统

【词语拼音】xíng shì xì tǒng

【词语繁体】形式系統

【词语结构】ABCD式词语

【词语字数】四字词语

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