Bukti induksi ini tampak mulus: untuk n=1, satu kuda pasti satu warna. Asumsikan untuk n=k kuda semuanya satu warna. Untuk n=k+1: ambil kuda 1 hingga k (satu warna), dan kuda 2 hingga k+1 (satu warna). Karena ada irisan, semua k+1 kuda satu warna. Kesimpulan: semua kuda di dunia berwarna sama.
Kesalahannya ada di langkah dari n=2 ke n=3: irisan antara {kuda 1, 2} dan {kuda 2, 3} adalah {kuda 2}, satu elemen. Tapi dari n=1 ke n=2: irisan antara {kuda 1} dan {kuda 2} kosong — tidak ada elemen penghubung. Kasus dasar tidak cukup kuat. Ini mengajarkan pentingnya memeriksa kasus kecil dalam induksi secara eksplisit.
← Kembali ke Daftar Paradoks