定理 II
剛的網站基礎數論中的無解問題
公式寫法轉換標準式λ 可定義函式之哥德爾表示遞迴函克林 p 函之遞迴性
標準式
自然順序
主標準式
定理 I
定理 II
定理 III

若一式有標準式,此標準式在 I-操作下是不變的,任何簡化次序會終結在此標準式。

定理 II 及 III 之證明見 Alozo Church 及 J. B. Rosser 之 "Some properties of conversions"