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