戴德金公理

對於直線上所有點到兩個非空集合的每個劃分，使得任一集合的點都不位於另一集合的兩點之間，則存在一個集合的點，該點位於該集合的每個其他點與另一集合的每個點之間。