Uniwersum języka

Z Wikipedii, wolnej encyklopedii

Uniwersum językazbiór obiektów, które są opisywane przez wybrany język, np. język jakiejś teorii aksjomatycznej. Odpowiednik zbioru uniwersalnego z rachunku zbiorów.