c可证的意味着:xεFlg(c),由(7),它陈述的同于Bewc(x)的.
[49]
因为所有出现在证明中的存在性断言都建立在命题Ⅴ的基础之上的,而它可容易看出,从直观上说是无异议的.
[50]
因此这种既相容又不w相容的c的存在性,一般说来,只有在假定了c的相容性后(即P是相容的)才被证明.
[51]
假设1的证明在这里甚至比对体系P更简单,这是因为一类基本变量(或者对冯·诺伊曼的两类).
[52]
参看希尔伯特的演讲"Probleme der Grundlegung der Mathematik"的问题Ⅲ,math,Ann.102.
[53]
加在所有数学形式体系的不完全性的真正源头被发现(将在这文章的第Ⅱ部分指