............ denilen teori yaklaşımında her teori, aksiyomlaştırılmış önermeler dizgesinin yanı sıra modeller kümesi ile hedef uygulamaları kümesini kapsar. Bir teorinin modelleri, bu teorinin uygulanabildiği nesne dizgelerini ve bunların özelliklerini matematiksel nesnelerle temsil ederler.                                    Yukarıda yer alan boşluğa aşağıdaki kavramlardan hangisi gelmelidir?