Identity, Haecceity, and the Godzilla Problem

Kent A. Peacock, Andrew Tedder

In standard first order predicate logic with identity it is usually taken that $a=a$ is a theorem for any term $a$. It is easily shown that this enables the apparent proof of a the…