Genel bakış
Model teorisi, biçimsel dillerde kurulan önermeler ile bu önermeleri doğru yapan matematiksel yapılar arasındaki ilişkiyi inceleyen matematiksel mantık dalıdır. Bir kuram aksiyomlardan, model ise dildeki simgelerin yorumlandığı bir küme ve ilişkilerden oluşur. Tutarlılık, tamlık, kategoriklik ve tanımlanabilirlik temel konulardır. [1]
TEMEL ÖZELLİKLER
Gödel’in tamlık teoremi birinci derece mantıkta sözdizimsel kanıtlanabilirlik ile tüm modellerde doğruluk arasında bağ kurar. Model teorisi cebir, sayı teorisi ve geometriye yöntem sağlar; aynı aksiyomların farklı modelleri olabileceğini sistemli biçimde açıklar. [1]