В смысле? Если a и b принадлежат Q и a< b, то всегда найдётся некое c, тоже принадлежащее Q, такое что a < c< b Если речь не об этом, значит я что-то упустил.




Да и определение простое: Полное поле, это такое поле, в котором любая фундаментальная последовательность имеет предел. А вот теперь пойди и объясни это выпускнику какого-нибудь Иняза. Да так штоб понял.

YbiVan, Собсно, в самом начале я объяснил что имел в виду. Собсно это утверждение часто используют как определение полноты упорядоченного поля, а это в корне неверно.