定理 XIX
剛的網站基礎數論中的無解問題
公式寫法轉換標準式λ 可定義函式之哥德爾表示遞迴函克林 p 函之遞迴性
定理 IV
定理 V
定理 VI
定理 VII
定理 IX
定理 X
定理 XI
定理 XIII
定理 XIV
定理 XV
定理 XVI
定理 XVII
定理 XVIII
引理
定理 XIX
推論 1
推論 2

不存在遞迴函可判定式 A 能否轉換至式 B。

證明:由[定理 XVIII]「不存在遞迴函可判定式 C 是否具有標準式。」及[引理] 「找到一個遞迴函,可判定式 A 能否轉換至式 B」此問題等同於「找到一個遞迴函,可判定式 C 是否具有標準式。」可證。