通用逻辑-递推数列分析