« Home

Definition. substitution [math-0004]

x[m/n]x[m/n] 表示將公式 xx 中哥德爾數為 nn 之符號換成 mm 的哥德爾數再求此替換後公式的哥德爾編碼。

例如 ¬y[n/y‾]=¬n‾\neg y[n/\overline{y}] = \overline{\neg n}