wystarczą do ugruntowania matematyki Bishopa. Zaproponowano dotąd dwa podejścia: podejście teoriomnogościowe (Myhill i Friedman) i podejście oparte na "operacjach i klasach" (Feferman). Badania te pokazują, że matematykę Bishopa można rozszerzać zarówno w kierunku intuicjonizmu Brouwera, jak i w kierunku konstruktywnej matematyki rekurencyjnej w stylu Markowa. 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ą