axiom of nested inervals

[ریاضیات] اصل فواصل تو در تو، اصل بازه های تو در تو