単純に「定義可能な集合ではない」で良いんじゃないの？
少なくとも自然数全体Nの部分集合に関してはそういう考えでやってるみたいですよ