"Hilbert programme" (Kreisel)

K助教授の授業。途中A教授が飛び入り参加し、自分の証明論についての見方はいかに深くKreiselの影響を被っているかを語る。しかし彼は学生時代にKreiselを読み込んでいたらしく、訳のわからないKreiselの文章について「このほのめかしは誰々の何年の結果を指している」「ここで言ってる『つまらない結果』とは、誰々の〜みたいな結果のこと」と一々説明できるのはさすがだ。