Вообще-то, вопросы тут поднятые имеют опосредованное отношение к проблеме Гильберта
Точнее,
если, перефразировать проблему Гильберта не для арифметики, а для физики, то получится вопрос о внедрении СТО в физику.
И соответственно ответ Геделя для арифметики, совпадет с ответом для СТО в физики
Просто для ногих, формулировки Гильберта и Геделя слишком туманные и непонятные
