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

設式由 n 個符號 ┬1, ┬2,...,┬n 組成,而 t1, t2,...,tn 為上述符號之哥德爾數,式之哥德爾數為2^t1 * 3^t2 .... * Pn^tn 其中 Pn 為第 n 個質數。