Kommutativer Ring/Ideal/Erzeuger/Prädikatenlogische Charakterisierung/Aufgabe

Es sei ${}k\in \mathbb {N}$ fixiert. Formalisiere prädikatenlogisch mit einem geeigneten Symbolalphabet ${}S$ den Sachverhalt, dass ${}k$ Elemente eines kommutativen Ringes ein gegebenes Ideal erzeugen.