Да. На одном из форумов обсуждался по моему Алфёровский факультет в Питере, его жесткость мат обучения( или не алферовский но что то подобное не помню точно). Так вот там требовались - в том числе- строгие определения рациональных чисел. И - я из любопытства посмотрел физтенголтца- там через дедекиндовые сечения определялось множество рац чисел. А в Никольском по простому- типа бесконечная десятичная дробь