Euclid's 'Elements' Book V develops theory of proportion of 'geometric magnitudes'. Definition V,5 is the definition of proportion, A:B::C:D, definition V,7 is the definition of the order of ratios, A:B - C:D. In commentaries on Book V it is usually supposed, and sometimes even proved, that the order of ratios is a total order, while it is also supposed that 'magnitudes of the same kind' obey the Archimedean axiom only, i.e. Euclid's definition V,4. The purpose of this paper is to show that the linearity of the order of ratios cannot be deduced from the Archimedean axiom; to this end we define a structure of magnitudes that obeys the Archimedean axiom and show that the conjunction of negations is satisfied (for mathematical symbols applied see the original paper)
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.