前几天看了希尔伯特的欧几里得几何公理系统。公理系统分为五组，第一组是结合公理，第二组是顺序公理，第三组是合同公理，第四组是连续公理，第五组是平行公理。我的困惑是顺序公理中的前提：（有的）直线上至少存在三个点，能在结合公理中得到证明吗？