2006-02-06 "Truth and Predication"(4) 読書会 17時半より21時半。2章後半。参加者が4人で脱線気味、途中フレーゲ論法を証明の同一性に応用できるかという話で盛り上がる。