可定义性

definability