formal system

 
  • n. 形式系統

formal system的用法和樣例:

例句

用作名詞 (n.)
  1. The consistency of a formal system of arithmetic cannot be proved by means formalizable within that system.
    算術的形式系統的自洽性不可能通過該系統的形式化途徑而得到證明。

formal system的相關資料:

臨近單詞

今日熱詞
目錄 附錄 查詞歷史