Eudoxos' aksiom, omtrent d.s.s. Archimedes' aksiom.