Hier zeigt sich eine Schwäche der Prädikatenlogik erster Stufe. Mittels der Sprache der ersten Stufe kann niemals eine Charakterisierung bis auf Isomorphie gelingen, denn die Klasse aller Modelle zu einer beliebigen widerspruchsfreien Menge von Ausdrücken enthält stets Modelle beliebiger Mächtigkeit, also auch nicht isomorphe Modelle. Man nen...