 This is the \(T\)-schema! Thus if we assume first-order arithmetic to be \(\omega\)-consistent and complete then schema \(T\) turns out to be interpretable in it. Now, Tarski’s theorem above shows that there exists no such consistent theory, and we thus have a contradiction. \(\Box\)