Числення висловлень. Математична індукція