ในการพิสูจน์สูตรทางคณิตศาสตร์ เมื่อใช้วิธีพิสูจน์โดยการอุปนัยเชิงคณิตศาสตร์ ควรตรวจสอบว่า
กสูตรนั้นถูกอธิบายอย่างชัดเจนและเข้าใจได้
ขสูตรสอดคล้องกับความเป็นจริง ในหลากหลายกรณี
คสูตรเป็นจริงสำหรับจำนวนจำนวนใหญ่มาก
งกรณีฐาน (base case) เป็นจริง และขั้นตอนอุปนัยนำจากกรณีที่ n ไปถึง n+1 ได้อย่างสมเหตุสมผล
เฉลยอธิบาย
การพิสูจน์โดยการอุปนัยเชิงคณิตศาสตร์มีสองส่วนสำคัญ คือ กรณีฐาน (ต้องเป็นจริง) และขั้นตอนอุปนัย (ต้องแสดงว่าถ้า n เป็นจริง แล้ว n+1 ก็เป็นจริง) ตัวเลือก B ผิดเพราะการพิสูจน์ต้องครอบคลุมทั้งหมด ไม่ใช่หลายกรณี ตัวเลือก C ผิดเพราะนี่คือวิธีการยืนยันแต่ไม่ใช่พิสูจน์ ตัวเลือก D ผิดเพราะความชัดเจนไม่ใช่กระบวนการพิสูจน์