形式系统算术化的英文

• 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