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

the undecidability of first-order logic

• 一:    one
• 阶:    steps; stairs
• 逻辑:    logic
• 的:    4次方是 The fourth po ...
• 不可判定性:    undecidability