形式系統維基百科,自由的 encyclopedia 在邏輯與數學中,一個形式系統(英語:Formal system)是由兩個部分組成的,一個形式語言加上一個推理規則或轉換規則的集合。大衛·希爾伯特在1921年推動以形式系統來描述數學知識[1] 。 一個形式系統也許是純粹抽象地制定出來,只是為了研究其自身。另一方面,也可能是為了描述真實現象或客觀現實的領域而設計的。命題邏輯是最簡單的形式系統。 Jetson Nano B01 4GB Developer Kit
在邏輯與數學中,一個形式系統(英語:Formal system)是由兩個部分組成的,一個形式語言加上一個推理規則或轉換規則的集合。大衛·希爾伯特在1921年推動以形式系統來描述數學知識[1] 。 一個形式系統也許是純粹抽象地制定出來,只是為了研究其自身。另一方面,也可能是為了描述真實現象或客觀現實的領域而設計的。命題邏輯是最簡單的形式系統。