Leon, Antonio (2006) Hilbert's machine and the Axiom of Infinity. [Preprint]