一阶逻辑的不可判定性的英文

• the undecidability of first-order logic

• "一"英文翻译    one
• "阶"英文翻译    steps; stairs
• "逻辑"英文翻译    logic
• "的"英文翻译    4次方是 The fourth power of 2 i ...
• "不可判定性"英文翻译    undecidability
• "不可判定性" 英文翻译 :    [数学] undecidability
• "本质不可判定性" 英文翻译 :    essential undecidability
• "不可判定性定理" 英文翻译 :    undecidability theorem
• "一阶逻辑" 英文翻译 :    first order logic; first-order logic
• "可判定性" 英文翻译 :    decidability; entscheidungsproblem
• "不可判定" 英文翻译 :    entscheidungsproblem
• "不可判定的" 英文翻译 :    entscheidbar decidable; entscheidend decidable; undecidable
• "不可判定理论" 英文翻译 :    undecidable theory
• "不可判定问题" 英文翻译 :    infeasible decision problem
• "可决定性 可判定性" 英文翻译 :    decidability
• "一阶逻辑表达式" 英文翻译 :    first-order logic expression
• "无乘法算术的可判定性" 英文翻译 :    decidability of arithmetic without multiplication
• "阶逻辑" 英文翻译 :    order logic
• "一阶逻辑表达的公理规格说明" 英文翻译 :    specification in first-order logic-axioms
• "一阶逻辑表达的术语规格说明" 英文翻译 :    specification in first-order logic-terminology
• "半可判定的" 英文翻译 :    semi-decidable
• "递归可判定" 英文翻译 :    recursively decidable
• "可判定的" 英文翻译 :    decidable; decideable
• "可判定子句" 英文翻译 :    decidable subclause
• "可判定子类" 英文翻译 :    decidable subclass