Vollständigkeit einer Theorie ist wie gesagt als Entscheidbarkeit (wobei das etwas anderes als Entscheidbarkeit im Sinne der Berechenbarkeitstheorie ist) aller Sätze bzgl. dieser Theorie definiert. Einen kurzen Verweis halte ich auch für sinnvoller, mit der Bemerkung, dass es da verschiedene Konzepte gibt (wenn man in der Logik von einer Definition von Wahrheit (siehe den Undefinierbarkeitssatz von Tarski) spricht, meint man etwa etwas anderes als mit Wahrheit in einem Modell). -- Chricho 20:14, 12. Aug. 2013 (CEST)