对蕴含命题做数学归纳法的困惑：归纳步骤与假设疑问

先纠正个小笔误哈——你命题里的a=b应该是a=c吧？不然逻辑上就说不通啦😉。接下来咱们把这个归纳法的步骤补全，一步步来：

1. 明确归纳假设 #

首先，我们假设对于某个非负整数k，命题P(k)是成立的——也就是：

若a + k = c + k，则a = c

这一步是归纳法的核心，我们要基于这个假设去推导下一个整数情况的命题成立性。

2. 推导归纳目标（证明P(k+1)成立） #

我们的目标是证明P(k+1)成立，也就是：

若a + (k+1) = c + (k+1)，则a = c

现在一步步拆解推导：

• 根据皮亚诺公理中加法的递归定义，a + (k+1)等价于(a + k) + 1，同理c + (k+1)等价于(c + k) + 1。
• 已知a + (k+1) = c + (k+1)，代入上面的等价式，就得到：(a + k) + 1 = (c + k) + 1。
• 再用皮亚诺公理里的后继唯一性：如果两个数的后继相等，那么这两个数本身相等。简单说就是，若x + 1 = y + 1，则x = y。套在这里，就能得到a + k = c + k。
• 这时候就可以直接用上咱们的归纳假设了：因为假设了P(k)成立，也就是a + k = c + k能推出a = c。

这样就完成了推导——从a + (k+1) = c + (k+1)推出了a = c，说明P(k+1)成立。

3. 归纳结论 #

你已经完成了基础步骤P(0)的证明，再加上我们推导的“若P(k)成立则P(k+1)成立”，根据数学归纳法原理，对于所有非负整数n，命题P(n)都成立。

补充说明 #

这里的关键是用到皮亚诺公理的两个核心性质：加法的递归定义（n+1是n的后继），以及后继的唯一性。如果是在其他公理体系下，只需要替换成该体系对应的加法性质即可，核心逻辑都是把k+1的情况转化为已假设成立的k的情况，再完成推导。

内容的提问来源于stack exchange，提问作者Joesteffy