ż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. Markow oparł swą matematykę konstruktywną na pojęciu algorytmu normalnego (zwanego też czasem algorytmem Markowa) (por. jego Teorija ałgorifmow). Wraz ze swymi uczniami i współpracownikami pokazał, jak można na podstawie przyjętych założeń konstruktywistycznych budować matematykę. Wiele wyników pokrywa się tu z wynikami uzyskanymi w ramach klasycznej matematyki rekurencyjnej.<br>Zauważmy, że Markow i jego szkoła reprezentują stanowisko nominalistyczne (por. Dodatek I) i orientację językową. Za podstawowe obiekty konstruowane uważają po prostu wyrażenia (słowa) budowane ze znaków jakiegoś wyjściowego alfabetu. Ich konstruktywizm