Gödel's contribution to the justification of Leibniz' notion of the infinitesimals (Q1065778)

''It is said that Kurt Gödel reflected very much on the ideas of Leibniz; moreover, in Gödel's opinion, the future of mathematics would rest heavily on the development and application of infinitesimals.'' [...] ''Insofar as one of Gödel's results can be shown to be essentially incorporated in the foundations of Nonstandard Analysis, one can ask whether and to what extent Gödel has contributed to the justification of infinitesimals.'' ''Indeed, in the present formulations of Nonstandard Analysis, one cannot dispense with the axiom of choice. In view of Gödel's relative consistency result, this is no disadvantage (as it would be without this eminent theorem). After sketching the construction principles of Nonstandard Analysis, this note goes on to discuss in this context the role of Gödel's result.'' (From the text.)