数学逻辑-递推公式