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

變元序列依字母順序排列稱為自然順序(natural order)。

a,b,c,d... 之變元序列就在自然順序中。