В монографии представлена краткая история аксиоматического метода от «Начал» Евклида (около 300 г. до н. э.) до «Оснований геометрии» Давида Гильберта (1899 г.), а также проанализированы современные подходы к построению аксиоматических теорий, использующие математическую теорию множеств, теорию категорий и гомотопическую теорию типов.
