罗素第一开始，完全是抱着一种批改学生作业的心态，在看陈慕武的这篇论文。
这里有点眼熟……
这里很有意思……
嗯，应该是他把之前的提问和思考结合到了一起。
不错不错，举一反三的能力非常强。
然后，罗素脸上的笑容就逐渐消失，表情越来越严肃，态度也越来越认真。
因为他看到了论文上出现了这样的一段话：
“众所周知，数学正在朝着更为精确的方向发展，并且已经导致大部分数学分支的形式化，以至于人们只用少数的几个机械式的规则，就能证明任何定理。
“因此，人们可能猜测这些公理和推理的规则，足以决定这些形式系统能够加以表达的任何数学问题。
“下面将证明情况并非如此。”