ИНДУКТИВНОЕ ОПРЕДЕЛЕНИЕ

- определение какого-либо понятия А(n), зависящего от неотрицательного целого параметра п, протекающее по следующей схеме: а) задается значение А(0); б) задается правило по лучения, значения А(n+1) по пи по значению (п). Типичным И. о. является определение функции п!:а) 0! = 1; б) (n+1)! =n!(n+1). Более общим И. о. является определение по трансфинитной индукции, с помощью к-рого вводится какое-либо понятие А(a), зависящее от ординального (трансфинитного) числа a. Такое определение осуществляется заданием нек-рого правила, позволяющего получать значение А(a) по известным значениям А(Р) для всех b

Другим расширением понятия И. о. является так наз. обобщенное И.

Чтобы доказать, что любой объект из класса, заданного нек-рым обобщенным И. о., напр, всякая теорема какой-нибудь аксиоматич. системы S, обладает нек-рым свойством Р, достаточно показать следующее: всякая аксиома системы Sобладает свойством Р;если посылки какого-нибудь правила вывода обладают свойством Р, то заключение этого правила вывода также обладает свойством Р. Доказательства такого рода наз. доказательствами индукцией по определению соответствующего понятия (в данном примере- теоремы) или по построению соответствующего объекта, в зависимости от контекста.

Лит.: [1] Шенфилд Д ж., Математическая логика, пер. с англ., М., 1975; [2] Куратовский К., Мостовский А., Теория множеств, пер. с англ., М., 1970.

С. К. Соболев.