 We can define ‘satisfaction relation’ formally, using the recursive clauses and the conditions for atomic formulas in Tarski’s recursive definition. Now we prove, by induction on the complexity of formulas, that there is exactly one satisfaction relation \(S\). (There are some technical subtleties, but it can be done.) Finally we define