Beth definability

en-GB/ˈbɛθ dɪfaɪnəbɪlɪtiː/

分类：

theorem