• 基础释义

可判定性