Kommutativer Ring/Ideal/Erzeuger/Prädikatenlogische Charakterisierung/Aufgabe
Zur Navigation springen
Zur Suche springen
Sei fixiert. Formalisiere prädikatenlogisch mit einem geeigneten Symbolalphabet den Sachverhalt, dass Elemente eines kommutativen Ringes ein gegebenes Ideal
erzeugen.