夜、スターバックスでアイス・ショート・ラテを飲みながら、Suppesの入門書の定義のChapterを読みつつ、自分が定義というもののどこをどのように理解していないか検討する。
定義で使われる同一性記号と同値記号の役割の違いが理解できていないことはわかる。しかしどう違うのか、すっきりと理解できない。ごく初歩的なところでつまずいて先に進めない感じ。大抵の人にとっては自明なことを「わからない、わからない」と困惑しているようだ。やれやれ。A.ChurchのIntroduction to Mathematical Logicにおける註168でもこの辺のことについて‘puzzling’だと言っている。自分の疑問と何か関係あるのかな？また考えよう。
