English Successor function Cited by user Dedhert.Jr on 27 Mar 2024 In mathematics, the successor function or successor operation sends a natural number to the next one.
Ukrainian Структурна індукція Cited by user Lxlalexlxl on 10 Nov 2020 Структу́рна інду́кція — конструктивний метод математичного доведення, який узагальнює математичну індукцію (застосовувану над натуральним рядом) на довільні рекурсивно озн…
Russian Структурная индукция Cited by user Bezik on 10 May 2018 Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсив…