We consider a multi-polaron model obtained by coupling the many-body Schrödinger equationfor N interacting electrons with the energy functional of a mean-fieldcrystal with a localized defect, obtaining a highly non linear many-body problem. Thephysical picture is that the electrons constitute a charge defect in an otherwise perfectperiodic crystal. A remarkable feature of such a system is the possibility to form a boundstate of electrons via their interaction with the polarizable background. We prove firstthat a single polaron always binds, i.e. the energy functional has aminimizer for N = 1. Then we discuss the case of multi-polaronscontaining N ≥ 2 electrons. We show that their existence is guaranteedwhen certain quantized binding inequalities of HVZ type are satisfied.