Logik erster Stufe #9 - Isomorphie
Logik erster Stufe kann isomorphe Strukturen nicht voneinander unterscheiden, d.h. für zwei isomorphe Strukturen gibt es keinen Satz in Logik erster Stufe, der in einer der Strukturen wahr ist und in der anderen falsch.