Kommutativer Ring/Ideal/Prädikatenlogische Charakterisierung/Aufgabe
Zur Navigation springen
Zur Suche springen
Formalisiere prädikatenlogisch mit einem geeigneten Symbolalphabet , dass ein Ideal in einem kommutativen Ring
vorliegt.