Beth definability theorem
قضیه تعریف‌پذیری بث
first order structures
ساختارهای مرتبه‌اول