古希腊数学
在抽象代数和分析学中，以古希腊数学家阿基米德命名的公理，是一些赋范的群、域和代数结构具有的一个性质，可表述如下：