Hãy xem trong lời giải của bài toán sau đây có bước nào bị sai? Bài toán: chứng minh rằng với mọi số nguyên dương n, mệnh đề sau đây đúng:

* Hướng dẫn giải

Ta có a,b ∈ N* không suy ra a -1, b -1 ∈ N* . Do vậy không áp dụng được giả thiết quy nạp cho cặp {a -1, b -1}.

Chú ý: nêu bài toán trên đúng thì ta suy ra mọi số tự nhiên đều bằng nhau. Điều này là vô lí.