Fermat’s Last Theorem, FLT, is logically equivalent to \(0=0\) since both are provable, and hence denote the same proposition. However, the context of proofs distinguishes them immediately: a proof \(t\) of \(0=0\) is not necessarily a proof of FLT, and vice versa.