liczb naturalnych na dowolne struktury przeliczalne.<br>Nurt drugi, tzn. 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ż