ИН Ирина Никифорова §5. Система аксиом Гильберта (обзор) . http://geometrie.ru/site/lobachevskiy/cag.htm