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

© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search