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

一函數能將式 1, 2, 3 轉成對應的正整數並將其它的合式轉成固定整數是遞迴的。

例如一函數能將式 1, 2, 3 轉成對應的正整數 1, 2, 3 加 1,並將其它的合式轉成固定整數加 1 是遞迴的。