Das mathematische Attribut Korrektheit (von korrekt = richtig) bezeichnet:

• in der mathematischen Logik eine Eigenschaft mancher formaler Systeme oder Kalküle, siehe Korrektheit (Logik).
• in der Softwaretechnik eine Eigenschaft eines Computerprogramms (oder eines Algorithmus'), siehe Korrektheit (Informatik).