- arithmetization of formal system
- 形式 form; shape; layout; modalit ...
- 系统 system
- 算术 arithmetic figure; arithmeti ...
- 化 change; turn; transform
- 形式系统的算术化 arithmetization of formal system
- 算术化 arithmetization
- 形式系统 formal system; logistic system
- 逻辑形式系统 formal system of logic
- 把…算术化 arithmetize
- 不相容形式系统 inconsistent formal system
- 形式系统相容性 consistency proof
- 系统算法 system algorithm
- 形式系统的不完全性 incompleteness of formal system
- 操作系统算法 operating system algorithm
- 形式算术 peano axioms
- 包办式系统 turnkey system
- 笔式系统 pen system
- 闭合式系统 closed system; closedsystem
- 闭式系统 close cycle system
- 壁板式系统 embedded panel system
- 步进式系统 stepping system
- 插入式系统 break-in system
- 产生式系统 production system; productive system
- 敞开式系统 open type system
- 充满式系统 filled system
"查查词典"手机版
千万人都在用的超大词汇词典翻译APP
Last modified time:Mon, 11 Aug 2025 00:29:56 GMT