undecidability theorem

不可判定性定理