Modellvollständigkeit

Eine Eigenschaft einer prädikatenlogischen Theorie T, wonach jede Einbettung zwischen Modellen von T elementar ist; äquivalent dazu ist, dass jede Formel in T äquivalent zu einer existentiellen Formel ist (bzw. nach Negation zu einer universellen), sodass Wahrheit durch Einbettungen erhalten bleibt.