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

稅局 20140211

衍生等式(derived equations)定義如下:1.設 E 為一組基本等式2.E 本身是衍生等式3.設 A = B 是衍生等式,且含有一個變數 x, 則以特定數取代 A = B 之 x 為衍生等式。4.設 A = B 是衍生等式,且含有一個基本等式 C, 若 C = D 或 D = C 是衍生等式,則用 D 取代 A = B 所有之 C 式,為衍生等式。