formal system

　
英 美
  • n. 形式系統

formal system的用法和樣例：

例句

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

formal system的相關(guān)資料：

臨近單詞

今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan