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

若式為標準式,則其無法再簡化。

證明:

標準式指式不含 {λx[M]}(N),由 II 簡化之定義,
可知標準式無法找到 {λx[M]}(N) 來進行簡化。