Eudoxos' aksiom, se Archimedes' aksiom.