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 jest, z jednej strony, bardziej radykalny niż w intuicjonizmie (odrzucają na przykład obiekty powstające poprzez kolejne wybory, w szczególności ciągi wyborów), a z drugiej - bardziej liberalny. To ostatnie widać najbardziej w przyjmowanej przez Markowa zasadzie (zwanej dziś zasadą Markowa), że jeśli obliczenia prowadzone przez algorytm nie mogą się nie zakończyć