(S) Sentence (S) is not true • Suppose (S) is true. Then what (S) says is the case. But (S) says that (S) is not true. So (S) must not be true after all. So a contradiction results from the supposition that (S) is true.