"Logic Logic Logic" p354-364Soritie Paradoxの変種の"Wang's paradox"（「すべての自然数は小さな数である」）において、数学的帰納法を使わずとも、任意の自然数nに対して、nが「小さい」ことを証明できるというのは有名な話である。では、例えば1000000…

起床は11時。洗濯してから駅へ。不動産屋によるが担当者はおらず、本屋に行くが昨日発売日の「さよなら絶望先生」2巻は入荷しておらず、バスまで乗り遅れる。その後大学に行く。大学では論文読み、あと新婚のAB君がやってきて久しぶりにお話。