在抽象代数和分析学中，以古希腊数学家阿基米德命名[1]的阿基米德公理（又称阿基米德性质），是一些赋范的群、域和代数结构具有的一个性质。粗略地讲，它是指没有无穷大或无穷小的元素的性质。由于它出现在阿基米德的《论球体和圆柱体》的公理五，1883年，奥地利数学家Otto Stolz赋予它这个名字。这个概念源于古希腊对量的理论；如大卫·希尔伯特的几何公理，有序群、有序域和局部域的理论在现代数学中仍然起着重要的作用。阿基米德公理（又称阿基米德性质），是描述实数之间的大小关系的性质。它与柯西收敛准则共同描述了实数的连续性（即实数与数轴上的点一一对应）。[2]