نظرية النموذج
في الرياضيات، نظرية النموذج Model theory هي دراسة تمثيلات المصطلحات الرياضية في إطار نظرية المجموعات، أو دراسة النماذج المضمرة تحت النظم الرياضية. تفترض النظرية أن هناك أغراضا رياضية مسبقة الوجود في الخارج محاولة أن تطرح أسئلة حول كيفية وماهية المبرهنات التي يمكن برهنتها بوجود هذه الأغراض أو الكائنات الرياضية وبعض العمليات أو العلاقات بين الأغراض مع مجموعة من المسلمات axioms .
المراجع
| عموميات | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| المبرهنات (قائمة) & المفارقات | |||||||||
| المنطق |
| ||||||||
| نظرية الفئات |
| ||||||||
| Formal systems (list), Language & Syntax |
| ||||||||
| Proof theory | |||||||||
| Model theory | |||||||||
| Computability theory | |||||||||
| متعلقات | |||||||||
