Now you are in the subtree of Lecture Notes public knowledge tree. 

1.10. Принцип полноты Кантора или принцип вложенных отрезков