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

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.