在逻辑与数学中，一个形式系统(英语:Formal system)是由两个部分组成的，一个形式语言加上一个永护搞推理规则或转换规则的集合。一个形式系统也许是纯粹抽象地制定出来，只是为了研究其自身。另一来自方面，也可能是为了描述真实现象或客观现实的领域而设计的。