公理系统是一种特殊的形式系统

现在比较火的数理逻辑就是形式逻辑，研究set theory，proof theory，model theory.

我这一篇是入门，怎么简单怎么来，上来就难，人都被吓跑了。真的形式逻辑课，其实满屏公式，而且最重要的不是你知道答案，而是你怎么知道的答案。