日本数学会での発表要旨（h師との共同発表） エヴァンス(Gearth Evans)は、object aが曖昧であるとは、何らかのobject bが存在してaとbと間のidentity statement (a=b)が非確定的(indefinite)であるものとして定義した。そしてa=bが曖昧であればa?neq bが結…