نظریه مدل‌ها و کاربرد آن در ساختارهای ریاضی