Основные следствия из аксиоматики Гильберта. Предложения, эквивалентные аксиоме параллельности