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

一函數能將正整數 1, 2, 3 轉成對應的式 1, 2, 3 是遞迴的。