Jest ona też, zgodnie z pierwotnymi założeniami Bishopa, porównywalna z matematyką klasyczną.<br><br>&lt;tit1&gt;F. Mostowskiego stopnie konstruktywności&lt;/&gt;<br>Wyżej (w punkcie D) mówiliśmy o analizie obliczalnej Banacha­Mazura oraz o zastosowaniu teorii funkcji rekurencyjnych do rozważań na temat konstruktywizmu. Z podejściem tym wiąże się Andrzeja Mostowskiego (1913­1975) koncepcja wyróżnienia rozmaitych stopni &lt;orig&gt;konstruktywności&lt;/&gt; w matematyce. Wyłożył on ją w pracy &lt;name type="tit"&gt;On Various Degrees of Constructivism&lt;/&gt;. Opiera się ona na wprowadzonych przez S. C. Kleene'ego oraz niezależnie przez A. Mostowskiego hierarchiach zbiorów (i funkcji) liczb naturalnych zwanych hierarchią arytmetyczną oraz hierarchią analityczną. Nie możemy tu wchodzić w szczegóły techniczne i przytaczać dokładnych definicji - Czytelnik