Publication details
Verlag: Springer
Ort: Berlin
Jahr: 2002
Pages: 50-80
Reihe: Synthese Library
ISBN (Hardback): 9789048160525
Volle Referenz:
, "The consistency of arithmetic revisited", in: Internal logic, Berlin, Springer, 2002
Abstrakt
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
Verlag: Springer
Ort: Berlin
Jahr: 2002
Pages: 50-80
Reihe: Synthese Library
ISBN (Hardback): 9789048160525
Volle Referenz:
, "The consistency of arithmetic revisited", in: Internal logic, Berlin, Springer, 2002