190约克公爵的邀请（1/2）

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

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

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

    他总觉得身边的陈博士这么