雷内几乎没有听见他说话，只是嘀咕今后她会打电话联系他的，近来，她与人讲话很困难，尤其是自从那次与卡尔争论以来，情况更糟糕。系里的同事们都尽量避开她。她显得心不在焉，前一天夜里她做了一个噩梦，梦见她发现了一种形式体系，可以使她将主观概念转换成数学语言，然后，她证明了生与死是相同的。
有一种可能性让她十分惊恐：她正能正在失去理智。她肯定在失去清晰的思维，这与失去理智已经相差无几了。
她责备自己，你是一个多么可笑的女人。哥德尔证明他的不完全定理后自杀了吗？
但是，哥德尔的定理是优美的，让人肃然起敬，是雷内所见到的最优美的一个定理。
而她自己的证明却嘲讽她，讥笑她。就好像谜题书中的一道难题，它说：这下我可把你难住了。你跳过这个错误，查看自己在哪儿出了问题，结果绕了一圈又兜回来，那个难题再一