Exercise 2, § 3

Let $A$ be a relation in a logical theory $\mathscr{T}$. If $A \Leftrightarrow (\text{not } A)$ is a theorem of $\mathscr{T}$, then $\mathscr{T}$ is contradictory.