индуктивное определение

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

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.