形式系統

形式系統（formal system）係數學同邏輯學等領域上嘅一個概念。一個形式系統會有若干條公理（axiom；指可以當係不證自明嘅命題），然後按某啲法則，推導一啲定理（theorem）出嚟。