konstruktywna matematyka rekurencyjna, związany jest przede wszystkim z Andriejem A. Markowem i stworzoną przez niego radziecką szkołą konstruktywistyczną (P. Nowikow. D. Boczwar, N. Szanin). W latach 1948­1949 sformułował on podstawowe zasady konstruktywnej matematyki rekurencyjnej. Są one następujące: (1) przedmiotem konstruktywnej matematyki rekurencyjnej są obiekty konstruktywne, dokładniej: słowa w różnych alfabetach; (2) dopuszcza się abstrakcję prowadzącą do tezy o istnieniu potencjalnym pewnych obiektów, o potencjalnej ich realizowalności, ale nie abstrakcję nieskończoności aktualnej. Potencjalna realizowalność oznacza tu na przykład, że możemy uważać działanie dodawania za operację dobrze określoną dla wszystkich liczb naturalnych, ponieważ wiemy, jak ją wykonać dla dowolnie dużych liczb danych