undecidability theorem[数] 不可判定性定理;不可决策性定理;不可判定性定理英语;翻译

essential undecidability[数] 本质不可判定性;本质不可判定性

undecidability of arithmetic system算术系统的不可判定性

undecidability of thue system图埃系统的不可判定性

undecidability of post system波斯特系统的不可判定性

Decidability and undecidability可判定下和不可判定性

undecidability of normal system正规系统的不可判定性

undecidability of semi-thue system半图埃系统的不可判定性