"WM" <firstname.lastname@example.org> wrote in message news:email@example.com... >Matheology § 199
>Gödel's realism, although similar to that of Locke and Leibniz, places >emphasis on the fact that the "axioms force themselves upon us as >being true." This answers a question, untouched by Locke and Leibniz, >why we choose one system, or set of axioms, and not another; that the >choice of a mathematical system is not arbitrary.
so, what is your point ? (besides the red herring above of "axioms")