Korrektheit
# Korrektheit

Korrekt(heit) steht für:

* Korrektheit (Logik), Eigenschaft mancher formaler Systeme oder Kalküle
* Korrektheit (Informatik), Eigenschaft eines Computerprogramms

Siehe auch:

* politische Korrektheit (Sprache)
* Korrektheitsbeweis (Verifizierung)
* korrekt gestelltes Problem (Mathematik)
* Korrektion (Begriffsklärung)
* Korrektiv (Begriffsklärung)
* Korrektor (Begriffsklärung)
* Korrektur (Begriffsklärung)
