 We have now proved that none of the sentences \(S_i\) are true. Then, in particular, we have that for all \(j\gt 0\), S\(_j\) is not true. This is exactly what is expressed by S\(_0\), so S\(_0\) must be true. This is again a contradiction.