在逻辑与数学中，一个形式系统(英语:Formal system)是由两个部分组成的，一个形式语言加上一个推理规则或转换规则的集合。一个形式系统也许是纯粹抽象地制定出来，只是为了研究其自身。另一方面，也可能是为了描述真实现象或客观现实的领域而设计的。编辑本段定义形式系统(Formal System),包含字母,字的集合及由关系组成的有限集合.例如:集合论,布林代数,欧几里得平面几何及贝克式正规形式(Backus Normal Form;BNF)都是形式系统.编辑本段分类常用的形式系统有:语言、数理规则和逻辑。其中由于数学的研究对象是形式系统中唯一天生的逻辑自洽系统，因此数学也被一些人称为:形式科学。而语言大类中，部分为逻辑自洽的形式系统，如计算编程用的各类程序语言等。编辑本段用途对于程式语言的设计,实施及研究等方面而言,形式系统扮演的角色越来越重要.语法规格,语言结构分析语言相关的说明语言可以视为一群句子或公式的集合(即成串的符号),它具有定义良好的(Well-defined)结构而且通常是有编辑本段意义语言的语法(sy