Gegeven twee grootheden a en b (bijv. lijnsegmenten), waarbij a < b. Dan bestaat er een geheel positief getal n, zodat na > b. Dit axioma is ook als axioma van Eudoxus bekend; historisch verdient dat de voorkeur, want Eudoxus leefde van 408...355 v.
Chr. en Archimedes van 287...212 v.Chr.