阿基米德公理(英文:Axiom of Archimedes)係抽象代數上一條重要嘅公理。根據呢條公理,是但攞一個代數結構,如果話呢個代數結構「合乎阿基米德公理」嘅話,意思即係話喺呢個代數結構當中,
噉亦即係話自然數嘅集冇上限[1]。