מודל (לוגיקה מתמטית)

Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשית

בלוגיקה מתמטית, מודל של תורה הוא מבנה המתאים לשפה, שבו מתקיימות כל האקסיומות. לעניין זה, המבנה כולל קבוצה, עם השׂמות מתאימות לקבועים, לפונקציות וליחסים השייכים לשפה.