Індукція повна

метод доведення «від окремого до загального», де узагальнення відбувається на основі перебору певної скінченної кількості випадків і, відповідно, дає точно істинний, а не імовірнісний, висновок