Słownik pojęć matematycznych
Aksjomat Archimedesa
(pewnik Archimedesa) Dla dwóch niezerwoych odcinków a i b takich, że a > b istnieje zawsze taka liczba naturalna n, że n · b ≥ a.
Aksjomat Archimedesa oznacza, że zbiór liczb naturalnych jest nieograniczony. Zaproponowany przez Archimedesa w traktacie "O kuli i walcu" aksjomat nazywany jest także twierdzeniem o małych piechurach (wykonując nawet bardzo małe kroki w końcu dojdzie się do bardzo odległego celu, należy tylko iśc systematycznie i dostatecznie długo).