符号的递归性名词解释