形式系統 在邏輯與數學中一個形式系統英語Formal system是由兩個部分組成的一個形式语言加上一個推理規則或轉換規則的集合大衛希爾伯特在年推动以形式系統来描述数学知识  一個形式系統也許是純粹抽象地制定出來只是為了研究其自身另一方面也可能是為了描述真實現象或客觀現實的領域而設計的命題邏輯是最简单的形式系統