Translation of "Archimedisch" in French

ℝ ist archimedisch: zu jedem reellen 𝑥 gibt es eine natürliche Zahl 𝑛, die echt größer als 𝑥 ist.

ℝ est archimédien : pour tout réel x, il existe un entier naturel n strictement plus grand que x.