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

若經由一個 I, II, III 操作使 A 轉換至 B,則稱為 A 直接轉換(immediately convertible)至 B。