Ta sẽ “lập luận” bằng quy nạp toán học đề chỉ ra rằng: “Mọi con mèo đều có cùng màu”. Ta gọi P(n) với n nguyên dương là mệnh đề sau: “Mọi con mèo trong một đàn gồm n con đều có cùng màu”.

Bước 1. Với n = 1 thì mệnh đề P(1) là “Mọi con mèo trong một đàn gồm 1 con đều có cùng màu”. Hiền nhiên mệnh đề này là đúng!

Bước 2. Giả sử P(k) đúng với một số nguyên dương k nào đó. Xét một đàn mèo gồm k + 1 con. Gọi chúng là M1, M2, ..., Mk + 1. Bỏ con mèo Mk + 1 ra khỏi đàn, ta nhận được một đàn mèo gồm k con là M1, M2, ... , Mk. Theo giả thiết quy nạp, các con mèo có cùng màu. Bây giờ, thay vì bỏ con mèo Mk + 1 ta bỏ con mèo để có đàn mèo gồm k con là M2, M3, ..., Mk + 1. Vẫn theo giả thiết quy nạp thì các con mèo M2, M3, ..., Mk + 1 có cùng màu. Cuối cùng, đưa con mèo M1 trở lại đàn để có đàn mèo ban đầu. Theo các lập luận trên: các con mèo M1, M2, ..., Mk có cùng màu và các con mèo M2, M3, ..., Mk + 1 có cùng màu. Từ đó suy ra tất cả các con mèo M1, M2, ... , Mk + 1 đều có cùng màu.

Vậy, theo nguyên lí quy nạp thì P(n) đúng với mọi số nguyên dương n. Nói riêng, nếu gọi N là số mèo hiện tại trên Trái Đất thi việc P(N) đúng cho thấy tất cả các con mèo (trên Trái Đất) đều có cùng màu!

Tất nhiên là ta có thề tìm được các con mèo khác màu nhau! Theo em thì “lập luận” trên đây sai ở chỗ nào?