归纳和递推