pomocą opisanych hierarchii nie tylko zbiory liczb naturalnych, ale również funkcje naturalne, tzn. funkcje o argumentach i wartościach w zbiorze liczb naturalnych. <br>Niech teraz K będzie dowolną ustaloną klasą funkcji naturalnych. Definiujemy klasę K liczb rzeczywistych a takich, że dla każdego n spełniona jest nierówność<br>&lt;gap&gt;<br>gdzie f jest ustaloną funkcją z klasy K. Wybierając odpowiednią klasę K funkcji otrzymujemy w ten sposób różne klasy K spełniające pewne ogólne założenia konstruktywistyczne. I tak w szczególności, dla K = % = &amp; (czyli dla klasy funkcji rekurencyjnych) otrzymujemy klasę KŹ rekurencyjnych liczb rzeczywistych. Jest to więc klasa tych liczb rzeczywistych, które mogą być aproksymowane w sposób rekurencyjny, innymi