Der Zustand, dass alle Teile vorhanden sind und keines fehlt.
In der Logik ist die Eigenschaft der Vollständigkeit eines logischen Systems gegeben, wenn sich mit den Operatoren (aussagenlogischen Grundfunktionen) des Systems jede beliebige aussagenlogische Funktion definieren läßt.
論理学では、その体系の演算子によって任意の命題論理関数を定義できるとき、その論理体系に完全性があるとされる。
