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