(),

在希尔伯特本人所设想的公理体系中，有三个最根本的基础，分别是完备性、一致性和可决定性。

完备性和一致性，已经被陈慕武的一篇论文给搞没了，现在就只剩这个可决定性依然坚挺，既没有被证实，又没有被证伪。

从陈慕武云淡风轻的问话当中，冯·诺依曼听出来了一些不寻常。

他总觉得身边的陈博士这么问，不像是在征求自己的意见，更像是在隐晦地提醒自己，这个可决定