tolydùmo aksiomà, vienas 2 ekvivalenčių teiginių, apibūdinančių realiųjų skaičių aibės pilnumą. I – Dedekindo aksioma: jei visus racionaliuosius skaičius padalysime į 2 netuščias ir nesikertančias aibes taip, kad visi pirmosios aibės elementai būtų mažesni už visus antrosios aibės elementus, tai egzistuos toks realusis skaičius, kuris yra pirmosios aibės mažiausias viršutinis rėžis arba antrosios aibės didžiausias apatinis rėžis. II – Cantoro aksioma: bet kurioje susitraukiančių intervalų sekoje [a1, b1] ⊃ [a2, b2] ⊃ … ⊃ [an, bn] ⊃ … yra bent vienas realusis skaičius, priklausantis visiems intervalams.
1751