Aksjomat Archimedesa
Z Wikipedii
Aksjomat Archimedesa to aksjomat sformułowany przez Archimedesa.
Według niego każdy odcinek jest krótszy od pewnej wielokrotności długości każdego innego odcinka. Z niego wynika nieograniczoność prostej.
Mówiąc inaczej dla każdej pary dodatnich liczb rzeczywistych a i b istnieje taka liczba naturalna n, że a < n·b.