Раздел 5. Перпендикулярные прямые - 6. Аксиомы