Die Zielsetzung der Konstruktion besteht darin, zu einem Modell (oder vielen Modellen) für ein gegebenes Axiomensystem ein weiteres zu erhalten, das ungewöhnliche, in der Sprache des Axiomensystems nicht formalisierbare Eigenschaften aufweist.