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.
在逻辑学中，当一个逻辑系统的算子（命题逻辑基本功能）可以定义任意命题逻辑函数时，该系统就具备完备性这一属性。
