هندسه جبری و نظریه مجموعه‌های تعریف‌پذیر