Induksi matematika ( mathematical induction ) adalah metode pembuktian yang sering digunakan untuk menentukan kebenaran dari suatu pernyataan yang diberikan dalam bentuk bilangan asli. Akan tetapi sebelum membahas mengenai induksi matematika, kita akan membahas suatu prinsip yang digunakan untuk membuktikan induksi matematika, yaitu prinsip terurut rapi ( well-ordering principle ) dari bilangan asli. Seperti kita ketahui, himpunan bilangan asli adalah himpunan yang memiliki anggota 1, 2, 3, … yang dapat dituliskan sebagai berikut. Setelah mengingat mengenai himpunan bilangan asli, sekarang perhatikan prinsip terurut rapi dari bilangan asli berikut. Prinsip Terurut Rapi Bilangan Asli Setiap himpunan bagian yang tidak kosong dari N memiliki anggota terkecil. Secara lebih formal, prinsip tersebut menyatakan bahwa untuk setiap himpunan tidak kosong V yang merupakan himpunan bagian dari N , maka ada v 0 anggota V sedemikian sehingga v 0 ≤...