形式系统

形式系统
形式系统，是完全形式化的系统，用形式语言表述，这是现代公理系统的趋势，是不同于古典公理系统之处。

系统定义

形式系统(Formal System),,包含字母，字的集合及由关系组成的有限集合.
例如：集合论，布林代数，欧几里得平面几何及贝克式正规形式(Backus Normal Form;BNF)都是形式系统.

系统用途