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

變符 a, b, c,... 以 17 後之質數表示,

a, b, c, ... 為 17, 19, 23。