\begin{thebibliography}{10}

\bibitem{Cantor2}
Georg Cantor.
\newblock \"{U}ber die unendliche lineare punktmannigfalltigkeiten.
\newblock {\em \textit{Mathematischen Annalen,}}, 15:1--7, 1879.
\newblock Georg Cantor, Abhandlungen Mathematischen und Philosophischen
  Inhalts, ed. Ernst Zermelo, 1932, Reprinted by Georg Olms, Hildesheim, 1966.

\bibitem{Galilei}
Galileo Galilei.
\newblock {\em \textit{Discorsi e Dimostrazioni Matematiche, intorno a due
  nuoue Scienze Attenenti alla Mecanica i Movimenti Locali}}.
\newblock Appresso Elsevirii, Leiden, 1638.
\newblock English translation by Henry Crew and Alfonso de Salvo, Dialogues
  Concerning Two New Sciences, Macmillan, 1914, Reprinted by Dover, New York
  1954.

\bibitem{Goedel}
Kurt G\"{o}del.
\newblock \"{U}ber formel unentscheidbare s\"{a}tz der principia mathematica
  und verwandter system i.
\newblock {\em \textit{Monatschefte f\"{u}r Mathematik und Physik}},
  38:173--198, 1931.
\newblock Kurt G\"{o}del collected works, Vol.1, ed. S. Feferman, Oxford
  University Press, New York, 1986.

\bibitem{Heath}
Thomas~L Heath.
\newblock {\em \textit{The Thirteen Book of Euclid's Elements}}.
\newblock Cambridge University Press, Cambridge, second edition, 1926.
\newblock Translated from the Greek text of Heiberg. Book X-XIII.

\bibitem{Lakatos}
Imre Lakatos.
\newblock History of science and its rational reconstructions.
\newblock In {\em \textit{Proceedings of the Biennial Meeting of Philosophy of
  Science Association}}, pages 91--136, New York, 1970. Springer.

\bibitem{Poincar1}
Henri Poincar\'{e}.
\newblock {\em \textit{La science et l'hypoth\`{e}se}}.
\newblock Flammarion, Paris, 1902.
\newblock English translation by W. J. G. Science and Hypothesis, W. Scott,
  London, 1905, Reprinted by Dover, New York, 1952.

\bibitem{Poincar2}
Henri Poincar\'{e}.
\newblock {\em \textit{Science et m\'{e}thode}}.
\newblock Flammarion, Paris, 1908.

\bibitem{Russel}
Bertrand Russel.
\newblock Mathematical logic as based on the theory of types.
\newblock {\em \textit{American Journal of Mathematics}}, 30:222--262, 1908.
\newblock From Frege to G\"{o}del, edi.J. v. Heijenoort, Harvard University
  Press, 1967, 150-182.

\bibitem{Weyl}
Hermann Weyl.
\newblock {\em \textit{Philosophy of Mathematics and Natural Science. Appendix
  A: The structure of Mathematics}}.
\newblock New Jersey, 1949.
\newblock English edition based on a translation by Olaf Helmer, Princeton
  University Press.

\bibitem{Wigner}
Eugene Wigner.
\newblock The unreasonable effectiveness of mathematics in the natural
  sciences.
\newblock In {\em \textit{Symmetries and reflections}}, page 222. Indiana Univ.
  Press, Indiana, 1967.

\end{thebibliography}
