 Characterization of the class of all finite sets in L(ω1,ω). Here the base language has no extralogical symbols. The class of all finite sets then coincides with the class of models of the  L(ω1,ω)-sentence