Aun así, la escuela rusa de constructivismo supone que todos los números reales son recursivos.