Isomorphieinvarianz

Die Prädikatenlogik kann nicht zwischen isomorphen Strukturen unterscheiden.
Satz: Wenn $\mathcal{A}\cong \mathcal{B}$ (isomorph), dann gilt für alle Sätze $\phi \in FO$:

Isomorphe Strukturen erfüllen exakt dieselben Sätze.