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

若 F 為單元正整數遞迴函,且存在無限個正整數 x,使得 F(x) > 1。

則可建構函數 F0,對每個正整數 x 而言,F0(x) 等於第 n 個正整數 x (遞增順序) 使得 F(x) > 1,且 F0 是遞迴函。