公理係統是一種特殊的形式係統

現在比較火的數理邏輯就是形式邏輯，研究set theory，proof theory，model theory.

我這一篇是入門，怎麽簡單怎麽來，上來就難，人都被嚇跑了。真的形式邏輯課，其實滿屏公式，而且最重要的不是你知道答案，而是你怎麽知道的答案。