a = b と書くとき、その論理体系のなかでaとbという二つのものが等しいということを意味していると約束する。ここでaとbに全く同じものを置いてみたらどうだろう。たとえば、 15 = 15 みたいなふうに。 ここになんらかの意義を見出すことはできるだろうか。…