形式系統（formal system）係數學同邏輯學等領域上嘅一個概念。一個形式系統會有若干條公理（axiom；指可以當係不證自明嘅命題），然後按某啲法則，推導一啲定理（theorem）出嚟。1921年，打域囂拔提出以形式系統作為數學知識嘅基礎。但係，1931年，Kurt Gödel證明，任何可以表達基本算術嘅一致形式系統都無法證明其自身嘅完備性。呢個證明咗希爾伯特計劃係無可能實現。
