Vollständigkeit (Logik)

Der Begriff Vollständigkeit hat in der Logik verschiedene Bedeutungen. Er bezeichnet zwei unterschiedliche Eigenschaften formaler Systeme bzw. Kalküle:

• Vollständigkeit von Theorien
• Vollständigkeit von Kalkülen

Daneben wird dieser Begriff auch im Sinne der

• funktionalen Vollständigkeit von Junktorenmengen

benutzt.