في الرياضيات، نظرية النموذج هي دراسة تمثيلات المصطلحات الرياضية في إطار نظرية المجموعات، أو دراسة النماذج المضمرة تحت النظم الرياضية.[1][2][3] تفترض النظرية أن هناك أغراضًا رياضية مسبقة الوجود في الخارج محاولة أن تطرح أسئلة حول كيفية وماهية المبرهنات التي يمكن برهنتها بوجود هذه الأغراض أو الكائنات الرياضية وبعض العمليات أو العلاقات بين الأغراض مع مجموعة من المسلمات axioms.
^Dawson، J. W. (1993). "The compactness of first-order logic:from gödel to lindström". History and Philosophy of Logic. ج. 14: 15. DOI:10.1080/01445349308837208.
