(от лат. recursio — возвращение) — возвращающий к прошлому, к предшествующему; рекурсивные функции — функции, значения которых для данного аргумента вычисляются с помощью значений для предшествующих аргументов. В 1931 году австрийский математик и логик Курт Гедель доказал с помощью рекурсивных функций теорему о невозможности полной аксиоматизации арифметики, которая в расширенном значении трактуется как теорема о неполноте любой системы.