نظرية النموذج
في الرياضيات، نظرية النموذج هي دراسة تمثيلات المصطلحات الرياضية في إطار نظرية المجموعات، أو دراسة النماذج المضمرة تحت النظم الرياضية.[1][2][3] تفترض النظرية أن هناك أغراضًا رياضية مسبقة الوجود في الخارج محاولة أن تطرح أسئلة حول كيفية وماهية المبرهنات التي يمكن برهنتها بوجود هذه الأغراض أو الكائنات الرياضية وبعض العمليات أو العلاقات بين الأغراض مع مجموعة من المسلمات axioms.
مراجع[عدل]
- ^ Mémoire sur les quantités imaginaires, Royal Society of London, 1806. نسخة محفوظة 2016-03-29 في Wayback Machine
- ^ 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.
- ^ p. 1. نسخة محفوظة 2016-12-01 في Wayback Machine
 |
في كومنز صور وملفات عن: نظرية النموذج |
| ضبط استنادي: وطنية |
|---|
