On definable sets of positive integers