Das Modell besteht aus einem Individuenbereich (Universum) und einer Wertzuweisungs- oder Interpretationsfunktion, die jeder nicht-logischen Konstante der Objektsprache ihr Denotat im Modell zuweist.
Die Übertragung des semantischen Wahrheitsbegriffs auf die Bedeutungstheorie ist nicht gewährleistet, wenn Metasprache und Objektsprache in verschiedenen natürlichen Sprachen ausgedrückt werden.
Im Normalfall und damit in der Hauptbedeutung (2) bezeichnet Metasprache eine Sprache über eine Objektsprache im Sinne einer Sprache über nichtsprachliche Gegenstände.