机译:Axiomatizing Changing Conceptions of the Geometric Continuum II: Archimedes- Descartes-Hilbert-Tarski?
Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago;
argued; first-order systems HP5; descriptive axiomatization;