形式系統

形式系統係數學同邏輯學等領域上嘅一個概念。一個形式系統會有若干條公理，然後按某啲法則，推導一啲定理出嚟。

邏輯
數學