We propose a model-theoretic framework for investigating profinite groups. Within this framework we define and investigate small profinite groups. We consider the question if any small profinite group has an open abelian subgroup.