 The class of all individuals is infinite (Tarski asserts), so the theorem applies when \(A\) is this class. And in this case Tarski has no inhibitions about saying not just ‘correct in \(A\)’ but ‘true’; so we have our truth definition.