pragmatyk, po prostu ogranicza się do badania funkcji ciągłych.<br>Podstawową zasadą propozycji Bishopa jest żądanie, by wszystkie stwierdzenia matematyczne miały sens numeryczny. Oznacza to w szczególności, że powinniśmy być zawsze w stanie wskazać explicite konkretny obiekt, którego istnienie postulujemy w twierdzeniu egzystencjalnym - istnienia obiektu można bowiem dowieść tylko poprzez podanie procedury jego znalezienia. Nie wszystkie jednak obiekty matematyczne muszą być dane w postaci algorytmów - Bishop nie waha się używać pojęć abstrakcyjnych takich, jak "reguła" czy "operacja". Proponuje on: (1) unikać pojęć zdefiniowanych w sposób negatywny; (2) unikać definiowania pojęć zbędnych, tzn. spośród wielu możliwych, klasycznie równoważnych, ale konstruktywnie różnych definicji pojęcia