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

公式寫法

轉換

標準式

λ 可定義函

式之哥德爾表示

遞迴函

克林 p 函之遞迴性

正整數函

λ 可定義函