сложноватая конструкция вещественных чисел. первокур ещё в принципе не понимает, зачем они нужны, а тут такой бабах.
в более вменяемых курсах их вводят аксиоматически, а по вопросу непротиворечивости отсылают как раз к Фихтенгольцу.
можно было бы ту часть просто пролистывать, но боязно, не пропустишь ли чего-то важного. там нет меток: здесь читай, здесь не читай.