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

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

مراجع عدل

  1. ^ Mémoire sur les quantités imaginaires, Royal Society of London, 1806. نسخة محفوظة 29 مارس 2016 على موقع واي باك مشين.
  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. نسخة محفوظة 01 ديسمبر 2016 على موقع واي باك مشين.