Definite und Indefinite Ausdrücke

Ein Zeichen der Sprache I (und II) soll definit heissen, wenn es entweder eine Grundkonstante ist oder aber durch eine Definitionskette erzeugt wurde, in der kein unbeschränkter Quantor vorkommt. Andernfalls heisse das Zeichen indefinit.

Ein Ausdruck heisst definit wenn in ihm alle Konstanten definit und alle Variablen beschränkt gebunden sind. Andernfalls indefinit.

In der Sprache I sind alle geschlossenen Ausdrücke definit, daher heisst die Sprache I auch eine definite Sprache. (vgl. [36]:Pp.40f).