Morleyisierung

Der formale Vorgang, eine prädikatenlogische Sprache zu erweitern, indem neue Relationssymbole für bereits in der Ausgangssprache definierbare Mengen und Relationen hinzugefügt werden, zusammen mit Axiomen, die jedes neue Symbol mit der definierenden Formel gleichsetzen.