表示可計算定理
剛的網站基礎數論中的無解問題
公式寫法轉換標準式λ 可定義函式之哥德爾表示遞迴函克林 p 函之遞迴性
符號表示
變符表示
式表示
表示定理
表示可計算定理
哥德爾表示轉換

對任意式,存在一有效程序可計算出其哥德爾表示。反之,對任意哥德爾表示正整數,存在一有效程序可計算出其所表示之式。

證明:1.由哥德爾表示之定義即得證。2.待補。