直线公理的内容是经过两点只有一条直线或者两点确定一条直线;两条直线相交只有一个交点。因为直线是不定义的名词,对直线概念的理解往往靠上述的基本性质。
直线的相关公理——阿基米德公理
在抽象代数和分析学中,以古希腊数学家阿基米德命名的阿基米德公理(又称阿基米德性质),是一些赋范的群、域和代数结构具有的一个性质。粗略地讲,它是指没有无穷大或无穷小的元素的性质。由于它出现在阿基米德的《论球体和圆柱体》的公理五,1883年,奥地利数学家Otto Stolz赋予它这个名字。
这个概念源于古希腊对量的理论;如大卫·希尔伯特的几何公理,有序群、有序域和局部域的理论在现代数学中仍然起着重要的作用。
阿基米德公理可表述为如下的现代记法:对于任何实数,存在自然数有n<x。
在现代实分析中,这不是一个公理。它退却为实数具完备性的结果。基于这理由,常以阿基米德性质的叫法取而代之。
简单地说,阿基米德性质可以认为以下二句叙述的任一句:给出任何数,你总能够挑选出一个整数大过原来的数。给出任何正数,你总能够挑选出一个整数其倒数小过原来的数。