"WM" <email@example.com> wrote in message news:firstname.lastname@example.org... >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")