في الرياضيات ، نظرية النموذج هي دراسة تمثيلات المصطلحات الرياضية في إطار نظرية المجموعات ، او دراسة النماذج المضمرة تحت النظم الرياضية . تفترض النظرية أن هناك أغراضا رياضية مسبقة الوجود في الخارج محاولة أن تطرح أسئلة حول كيفية و ماهية المبرهنات التي يمكن برهنتها بوجود هذه الأغراض او الكائنات الرياضية و بعض العمليات أو العلاقات بين الأغراضمع مجموعة من المسلمات axioms .