В 1900 г. Давид Гильберт опубликовал свой знаменитый список из 23 открытых проблем, которые, по его мнению, должны были определить повестку математических исследований в новом ХХ в. Шестым номером в этом списке стоит задача аксиоматизации физики. С тех пор в решение этой задачи были вложены значительные усилия. Однако результаты оказались более скромными, чем надеялись ранние энтузиасты аксиоматического метода. Существующие аксиоматизации физических и биологических теорий обеспечивают их логический анализ, но не могут служить в качестве стандартного представления этих теорий, которое можно было бы использовать для передачи, оценки и обоснования физических или биологических знаний. Это положение вещей является сильным свидетельством в пользу тезиса о том, что стандартное понятие аксиоматического метода, основанное на работах Гильберта и Тарского, не подходит для данной цели. Однако в последние годы в математике возник новый аксиоматический подход, представленный гомотопической теорией типов (ГТТ). Мы показываем, что конструктивная аксиоматическая архитектура, используемая в ГТТ, может более успешно применятьcя в физике, а также в компьютерных науках и инженерии.