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

Aus Wikiversity
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.