摘要： 证明全满足类、归纳部分满足类和归纳Ｔ集合在可数非标准模型上的存在性与这个模型的递 归饱和性等价。在此基础上，推广塔斯基的不可定义性结果，证明上述集合在可数的非标准算术模型上 都是不可定义的。讨论这些不可定义集的相对可定义性，证明在通过科恩脱殊集得到的算术模型的扩张 上不存在可定义的归纳部分满足类。