قضایای انطباق (Absoluteness) و نظریه مدل‌ها در مجموعه‌های تعریف‌پذیر