形式系統

在邏輯與數學中,一個形式系統(英語:Formal system)是由兩個部分組成的,一個形式語言加上一個推理規則或轉換規則的集合。 --來自 維基百科


  • Confirm
  • .