вывод общего высказывания (суждения) из бесконечнойсовокупности посылок, исчерпывающих все его частные случаи. Играет важнуюроль в основаниях математики (см. Индукция)
