Обзор следствий из аксиом конгруэнтности, непрерывности и параллельности Гильберта