In der mathematischen Logik ist ein Urteil (oder Urteil) oder eine Behauptung eine Aussage oder eine Äußerung in der Metasprache. Zum Beispiel würden typische Beurteilungen in der Logik erster Ordnung sein, dass eine Zeichenkette eine wohlgeformte Formel ist, oder dass eine Aussage wahr ist. In ähnlicher Weise kann ein Urteil das Auftreten…