いいかしら、二三日前から本当にバカげた結論が出はじめてきて、いまではわたしの形式化がそれ自身と矛盾してるのよ。見てくれない?」ファブリーシの表情も予想通りだった。最初の二三ページで、問題のありかを例示したわ。残りの部分はあなたの参考のためよ」彼女は論文の薄い束をファブリーシに手渡した。「たぶんそうでしょうね」ファブリーシは最初の二ページほど見た。できそうなら、わたしの仮定のどれかが、こんな感じに怪しいか考えてみて。わたしも頑張ってる最中だし、なにかわかったら伝えるわ。いいかしら?」ファブリーシは微笑んだ。「ありがとう」ファブリーシが彼女の形式化を完全に理解するとは思えなかったが、とにかく、もっと機械的に見てチェックできる人さえいればよかった。4bカールはレネーとは彼の同僚主催のパーティで出会った。彼は彼女の顔のとりこになった。彼女の顔はきわだって地味で、ほとんどのときは陰気に見えたが、パーティのあいだに彼女は二度微笑み、一度顔をしかめた。そのときはまるで他の感情など知らないかのように、彼女は表情全体でその感情をあらわした。カールは驚きにうたれた:彼には人の笑う顔や、しかめた顔が、しわが寄らなくても当然のようにわかった。すれば彼女の顔がこんなに表情豊かで親しみやすく、なのに普通の人にはわからないものになったのか、彼は知りたがった。彼がレネーを理解し、表情を読めるようになるには時間がかかったが、しかしそれは間違いなく価値があった。カールは自分の書斎の安楽椅子に座り、マリーン・バイオロジー誌の最新号を膝にのせたまま、レネーが廊下の向かいの彼女の書斎で紙をくしゃくしゃに丸める音に耳をそばたてた。その夜、彼女はずっと仕事をしており、彼がちらっと見たときはいつものポーカーフェイスだったが、聞くからにイライラがつのっていた。彼は雑誌をどけ、椅子から立ち上がり、彼女の書斎の入り口のほうへと歩いていった。彼女は机の上に本の、ある巻を開いていた。そのページにはいつものヒエログリフの方程式が満載で、ところどころロシア語の注釈がはいっていた。彼女は何かを探していたが、かすかなしかめ面をしてあきらめ、その巻をバタンと閉じた。カールは彼女がブツブツと「使えないわ」と言うのを聞いた。彼女はその大きな本を本箱に戻した。「そんなことしてると血圧が上がるぞ」彼は冗談めかして言った。「そんなつもりはないよ」レネーは向きなおり、彼をにらみつけた。「や、すまなかった」彼は退いた。「どうも」彼女は本棚に注意を戻した。カールは離れ、そのにらみを解読しようとした。ダフィット・ヒルベルトは、彼の考える二十三のもっとも重要な数学の未解決問題をリストアップした。彼のリストの二番目の項目は、算術の無矛盾性の証明を求めるものだった。そのような証明がより高度な数学の相当部分の無矛盾性を保証するはずだった。その証明が保証するものは、本質的に、1と2が等しいことは決して証明できないということだった。これを非常に重要な事柄だと考えた数学者はほとんどいなかった。5aレネーはファブリーシが口を開く前に、彼が言おうとしていることを知っていた。「あれはわたしが見てきたなかでも最低のクソッタレでした。