Teori kebenaran korespondensi (the correspondence theory of truth) adalah teori yang

berpandangan bahwa pernyataan-pernyataan adalah benar jika berkorespondensi terhadap fakta

atau pernyataan yang ada di alam atau objek yang dituju pernyataan tersebut

Contohnya, pengetahuan Aljabar telah didasarkan pada pernyataan pangkal yang dianggap benar.
Pernyataan yang dianggap benar itu disebut aksioma atau postulat.