Vollständigkeit (Logik)

Vollständigkeit

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.

• Vollständigkeit von Theorien
  • 1.1Definition
  • 1.2Charakterisierung
  • 1.3Beispiele
  • 1.4Entscheidbarkeit
• 2Vollständigkeit von Kalkülen
• 3Funktionale Vollständigkeit von Junktorenmengen
• 4Literatur
• 5Weblinks
• 6Einzelnachweise