Tümevarım yöntemiyle ispatın geçerli olması için aşağıdaki koşullardan hangisi gereklidir?
A) Önermenin en az 100 doğal sayı için test edilmiş olması
B) Doğal sayılar kümesinin iyi sıralılık özelliğinin olması
C) Önermenin tüm tam sayılar için doğru olması
D) İspatın cebirsel yöntemlerle desteklenmesi
