Definit
Der Terminus geht auf Untersuchungen der mathematischen Grundlagentheorie durch E. Zermelo zurück. Als d. wird eine Aussage bezeichnet, über deren Gültigkeit innerhalb eines Bereichs nach allgemeinen logischen Gesetzen oder Axiomen entschieden werden kann. Als d. werden jene Aussagen bezeichnet, die innerhalb eines formalen mengentheoretischen Systems syntaktisch korrekt gebildet sind. – In der formalen Logik heißt ein Prädikat d. genau dann, wenn im Bereich seiner sinnvollen Anwendbarkeit für jeden Fall durch ein endliches Verfahren festgestellt werden kann, ob das Prädikat zutrifft. Beschreibung, definite.
PP