数学逻辑-整除判断与递推