The consistency of arithmetic revisited
pp. 50-80
Abstract
Though the Archimedean and my completeness axioms [for Euclidean geometry or the reals respectively], the ordinary continuity axiom is divided into two completely different components. Moreover, with my completeness axiom, not one infinite process is demanded, but we have only a finite number of finite axioms, just as Kronecker demands.
Publication details
Published in:
Gauthier Yvon (2002) Internal logic: foundations of mathematics from Kronecker to Hilbert. Dordrecht, Springer.
Pages: 50-80
DOI: 10.1007/978-94-017-0083-2_3
Full citation:
Gauthier Yvon (2002) The consistency of arithmetic revisited, In: Internal logic, Dordrecht, Springer, 50–80.