Не, не формализовали.
Мы просто считаем измерение временных интервалов - подсчётом каких то событий.
1. Нет, мы считаем изменения, интервалы не считаем. Да, считаем события, 1е изменение, 2е и т.д.
Кроме того, "интуитивное понятие времени" вовсе не обязательно соотносится с объективно существующим временем.
2. Объективно времени не существует. Объективно существуют изменения. Мы их считаем объективно.
Если под объективностью существования времени понимать объективность существования изменений, то да изменения объективны.
Мы просто не знаем, что такое объективное время и приняли для себя некую модель описания этого явления.
3. Да мы придумали модель времени, это модель процесса подсчета изменений. И пользуемся этой моделью в быту, науке и производстве. Точно также мы придумали измерение длины. Протяженность объектов в метрах, в попугаях объективна. Точно также объективно количество изменений.