形式系統

在邏輯與數學中 ， 一個形式系統  是由兩個部分組成的 ， 一個形式語言加上一個推理規則或轉換規則的集合 。 大衛 · 希爾伯特在1921年推動以形式系統來描述數學知識 。 一個形式系統也許是純粹抽象地制定出來 ， 只是爲了研究其自身 。 另一方面 ， 也可能是爲了描述真實現象或客觀現實的領域而設計的 。 命題邏輯是最簡單的形式系統 。