Mit der Theorie der atomaren und saturierten Modelle kann man dann schließen, dass es ein atomares Modell dieser Theorie geben muss und dass das reduzierte -Modell dieser Theorie weder isomorph zu noch zu sein kann.