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

數(numeral)為一組形式如下之基本表示式:

1, S(1), S(S(1)), ...

正整數 1, 2, 3, ... 對映至上列數。