Статья: О ЕДИНСТВЕННОСТИ МЕРЫ ДЛИНЫ ОТРЕЗКА

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