数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

一套：

一组统一设计的物品。

特制：

1.以手诏形式宣行的诏令。

2.特地制造。

3.指特别的工艺制造。

应用：

①使用：应用方法｜理论应用于具体实践。

②具有实用价值的：应用文｜基础理论和应用技术同样重要。

形成：

经过发展变化而成为：形成新的风格｜形成包围。

它们：

代词。称不止一个的事物。