К сожалению, определений системы тоже очень много, и мне снова придётся давать свою вольную трактовку — рекурсивное определение системы.

Он противопоставлялся аксиоматическому методу и основан на так называемых рекурсивных определениях, связанных с математической индукцией.

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

Поэтому, в частности, в этой математике не допустимы сходящиеся во времени рекурсивные определения.

Теория понятий пользуется сходящимися рекурсивными определениями.