Teori model

Dalam matematika, teori model adalah studi tentang hubungan antara teori formal (kumpulan kalimat dalam bahasa formal mengungkapkan pernyataan tentang struktur matematika), dan modelnya, diambil sebagai interpretasi yang memenuhi kalimat teori tersebut.[1]

  1. ^ Chang and Keisler, p. 1

Teori model

Dodaje.pl - Ogłoszenia lokalne