Добро
пожаловать
на наш сайт
посвященный
философии
 
Философик

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