elementary formal system

 
  • 初等形式系統

elementary formal system的用法和樣例:

例句

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

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

臨近單詞

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