那篇论文第260页的表达式 Inst{qi
Sj
Sk
Lql
}应该这样解释:
S0
, S1
,..., SM
是
可以打印的符号.
这个更正其实也不怎么对.第二行的F
(y′
,z
前的z
少了一个全称量词,这个全称量词修饰整个算式的余下部分.本书第250页的版本已经纠正了这个错误.
The statement on p. 261, line 33, viz.
is provable″ is false (even with the new expression for Inst {qa
Sb
Sd
Lqc
}): we are unable for example to deduce F
(n
+1)
→( - F