 Truth definition in L(ω1,ω) for a countable base language L.   Let  L be a countable first-order language (for example, the language of arithmetic or set theory) which contains a name n for each natural number n, and let σ0, σ1, … be an enumeration of its sentences. Then the  L(ω1,ω)-formula