III 操作
剛的網站基礎數論中的無解問題
公式寫法轉換標準式λ 可定義函式之哥德爾表示遞迴函克林 p 函之遞迴性
取代
I 操作
II 操作
III 操作
直接轉換
簡化

III 操作如下式：

Sx,N(M)| >>> {λx[M]}(N)

式中所有 {Sx,NM| 能以 λx[M]}(N) 取代，但是必須確保 M 中其它受限變元必須不同於 x 與 N 之自由變元。