From a predicative viewpoint it is not valid to quantify over all real numbers in the process of generating a new real number .
This is believed to result in a circularity problem in the definitions .
From a predicative viewpoint it is not valid to quantify over all real numbers in the process of generating a new real number , because this is believed to result in a circularity problem in the definitions .