תורת המודלים – שפות אחרות