В статье приводится детальное доказательство единственности меры длины отрезка в евклидовой геометрии, основанной на системе аксиом Гильберта [1]. Обоснования, представленные в учебной литературе [2–5] сжаты и существенно опираются на единственность меры на классе отрезков, являющихся рациональными частями эталона, о чём умалчивается как о само собой разумеющемся факте. Игнорируется сама возможность зависимости меры от точки отсчёта, в частности, от выбора конца отрезка, с которого начинается измерение. Но если для отрезков, кратных эталону при измерении с одного конца, кажется прозрачным, что укладывание эталона с другого конца даст то же самое целое число, то в остальных случаях это совсем не очевидно.
Предпросмотр статьи
Идентификаторы и классификаторы
Если у вас возникли вопросы или появились предложения по содержанию статьи, пожалуйста, направляйте их в рамках данной темы.