Beth definability theorem
broader: first order structures
preferred label: قضیه تعریف‌پذیری بث @fa
type: Concept

first order structures
preferred label: ساختارهای مرتبه‌اول @fa
type: Concept
narrower: Beth definability theorem