形式系統

(由形式化跳轉過嚟)

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