Індуктивне визначення

ІНДУКТИВНЕ ВИЗНАЧЕННЯ — один із способів визначення об’єктів математичних і логічних систем. Полягає в тому, що зазначаються: а) вихідні або елементарні об’єкти системи; б) правила або операції, що дозволяють з наявних об’єктів утворювати нові об’єкти системи. Таким чином визначають натуральне число (арифметики), правильно побудовану, а також доказуемую формули (в логічних численнях) та ін Індуктивне визначення повинно бути повно, тобто його засобами повинні визначатися всі об’єкти даної системи, і тільки вони.

Філософський словник. Під ред. І. Т. Фролова. М., 1991, с. 160.