fēn céng lǐ lùn
基本释义
  1. 数理逻辑中递归论的一部分
英文翻译
  1. Stratification theory