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.
In de logica is de eigenschap van volledigheid van een logisch systeem gegeven wanneer met de operatoren (propositionele basisfuncties) van het systeem elke willekeurige propositionele functie gedefinieerd kan worden.
