نظرية النموذج

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

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

مراجع[عدل المصدر]

  1. ^ Mémoire sur les quantités imaginaires, Royal Society of London, 1806.
  2. ^ 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. 
  3. ^ p. 1.