Angeordneter Körper/Automorphismengruppe nicht trivial/Aufgabe
Zur Navigation springen
Zur Suche springen
Es sei die Symbolmenge eines angeordneten Körpers.
Zeige, dass es einen angeordneten Körper derart gibt, dass nicht trivial ist.