Uniwersum języka - w logice matematycznej zbiór obiektów, które są opisywane przez wybrany język. Odpowiednik zbioru uniwersalnego z rachunku zbiorów.