  Armed with these facts, we can obtain Scott's undefinability theorem in the following way. Suppose it were false; then there would be  an  L(ω1,ω1)-formula θ(v0) such that, for all  L(ω1,ω1)-sentences σ,