Semantik (Wikipedia)
Die Semantik als Teildisziplin der Sprachwissenschaft (linguistische Semantik) untersucht die Bedeutung sprachlicher Zeichen. Alle sprachlichen Äusserungen, die eine Bedeutung haben, können als Zeichen aufgefasst werden.
Semantische Lücke (Wikipedia)
Damit wird der semantische, also bedeutungsbezogenen Unterschied zwischen zwei Beschreibungen eines Objekts, der dadurch entsteht, dass verschiedene Repräsentationsformen (Sprachen) gewählt werden. In der
natürlichen Sprache lassen sich Zusammenhänge ausdrücken, die in einer formalen Sprache nicht
auswertbar sind. Aus diesem Grund ist der Unterschied der Ausdrucksmächtigkeit auch nicht formal
beschreibbar