Gödel's incompleteness theorems
年が明け、新学期も始まったが、「僕」はいつものように平日の放課後にミルカやテトラと数学の勉強をし、休日はユーリに数学を教えていた。「お兄ちゃん、ゲーデルの不完全性定理って知ってる？」理性の限界を証明した定理なんだって、とユーリが話していたことを「僕」がミルカに伝えると、表情が険しくなった。「理性の限界……その理解はまずい」ミルカは、みんなで図書館に集まって、じっくりとこの話をしようと提案する。