Teori model

Dalam matematika, teori model adalah studi tentang hubungan antara teori formal, dan modelnya, diambil sebagai interpretasi yang memenuhi kalimat teori tersebut.