Основы аксиоматики: перпендикулярность плоскостей