Аксиомы Гильберта представляют набор из 20 аксиом, упорядоченных в пять групп, служащих основой для формализации евклидовой геометрии