戴德金基本定理，它说明了实数域的一个性质，这个性质常称为实数域的完备性、连续性或密接性。它的叙述为对于实数域内的任一戴德金分割A|A'必有产生这分划的实数β存在。这数β或是下组A内的最大数，或是上组A'内的最小数。