쌍곡기하학이 힐베르트공리군을 만족하는지? (중립기하학에 포함이 되는지) 보이라는데

공리군에 공리가 결합공리고 합동공리고 되게 많잖아

그러면 힐베르트 공리 하나하나 쌍곡기하학에서 성립한다는걸 그림으로 그려서 성립하는 예시를 드는걸로는 부족할까나

어떻게 논리적으로 증명을 하라는건지 그냥 예시만 들어서 성립하는걸 보이라는건지 모르겠다

어떻게 생각?