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.
Trong lôgic học, tính chất đầy đủ của một hệ thống lôgic được xác lập khi với các toán tử (những hàm cơ bản của lôgic mệnh đề) của hệ thống, người ta có thể định nghĩa bất kỳ hàm lôgic mệnh đề nào.
