(Model theorists please note that this is implicit definability in a model, which is not the same as the notion used in Beth's implicit ...
確定! 回上一頁