在抽象代数和分析学中，以古希腊数学家阿基米德命名的阿基米德公理，是一些赋范的群、域和代数结构具有的一个性质，可表述如下：对于任何正实数 formula_1 及 formula_2，即使 formula_1 多么小，或是 formula_2 多么大，也必定存在自然数 formula_5，使得 formula_6。这公理的粗略意义是，数字系统不存在具有无穷大或无穷小性质的元素。这个概念源于古希腊对量的理论。由于它出现在阿基米德的《论球体和圆柱体》的公理五，1883年，奥地利数学家赋予它这个名字。