剛的網站	基礎數論中的無解問題

公式寫法

轉換

標準式

λ 可定義函

式之哥德爾表示

遞迴函

克林 p 函之遞迴性

符號表示

變符表示

式表示

表示定理

表示可計算定理

哥德爾表示轉換