Описана история возникновения диагонального метода рассуждения об совершенно упорядоченных последовательностях, возникновение таких рассуждений соответствует подпе-риоду 5.3 развития научной методологии. Показано, что диагональные рассуждения доказывали лишь невозможность всюду плотного линейно упорядоченного списка счетного множества, это видно на примере выполнения аксиомы отделимости (аксиомы Хаусдорфа) на счетном множестве десятичных обозначений. Аналогичные ограничения диагонального метода имеют место и при его приложении к рассуждениям в формализованных теориях (при использовании Гёделевой нумерации и тому подобного).
Взаимное расположение прямых линий играет важную роль в геометрии геодезических пространств. Особое значение в ряде случаев придается параллельным прямым, т. е. прямым, расстояние Хаусдорфа между которыми конечно. В общем случае параллельность не влечет за собой каких-то особых свойств. Особый случай так называемые выпуклые пространства, или пространства неположительной кривизны. В этом случае поведение параллельных прямых жестко регулируется классической леммой Ринова, утверждающей, что любые две параллельные прямые в пространстве неположительной кривизны в смысле Буземана ограничивают нормированную полосу, т. е. выпуклое подмножество, изометричное полосе между двумя параллельными прямыми на плоскости, оснащенной строго выпуклой нормой. В статье доказывается обобщение леммы на случай пространств неположительной кривизны по Буземану относительно выделенного семейства отрезков. Под выделенным семейством отрезков в геодезическом пространстве понимается такое семейство S, что любые две...