Korrekthet er i matematisk logikk en egenskap til formalsystemer. At et formalsystem har korrekthet vil si at dersom man kan bevise en formel i systemet, så er formelen også gyldig. Formelt vil dette si at
Korrekthet gir en relasjon mellom syntaksen og semantikken til et formalsystem.
Formalsystemer med korrekthet Eksempler på formalsystemer med korrekthet er utsagnslogikk , predikatlogikk og andreordens-logikk .
Korrekthet og fullstendighet Et formalsystem med fullstendighet er slik at alle gyldige formler også er bevisbare. Fullstendighet er altså dualen til korrekthet. Formelt vil dette si at
Dersom et formalsystem har korrekthet og fullstendighet, så er bevisbarhet ekvivalent med gyldighet.
Kategori:Matematiske konsepter