Source request of axiom of Archimedes

269 Views Asked by At

I'm a little confused with axiom of Archimedes has a proof since it is an axiom. So I'm guessing there's a historical reason that this property of ordered field was given such a name. Is there any material for this?

1

There are 1 best solutions below

0
On BEST ANSWER

The term "Archimedean axiom" was introduced by Otto Stolz around 1883. Later, Johan Heiberg noticed that this is closely related to an axiom appearing in Euclid V.4. The term has become commonly accepted since then. It should be noted that none of the European mathematicians from Simon Stevin and until the end of the 19th century used the term in this sense, so in a way the commonly accepted term "archimedean field" is somewhat ahistorical, which does not detract from its usefulness. For details see this article.