공리 분류: 기본 공리 (예: 평행공리), 합성 공리 (예: 합등공리), 그리고 고갈된 공리