Korrektheitssatz

Ein Metasatz, der zusichert, dass jede Formel, die in einem gegebenen formalen deduktiven System beweisbar ist, auch semantisch gültig in der vorgesehenen Klasse von Modellen ist; syntaktische Ableitbarkeit impliziert modelltheoretische Wahrheit.