本质不可判定性(essential undecidability)是一个不可判定的数学理论。若一个数学理论T是不可判定的，且其任意无矛盾扩张也是不可判定的。则称其为本质不可判定的。本质不可判定性(essential undecidability)是一个不可判定的数学理论。若一个数学理论T是不可判定的，且其任意无矛盾扩张也是不可判定的。则称其为本质不可判定的。本质不可判定的概念和思想对证明许多数学理论的不可判定性有很大作用。如果能证明某一本质不可判定理论T′可在理论T中解释，则可知理论T是不可判定的。本质不可判定理论的最基本的一个例子是佩亚诺算术系统。[1]