非ユークリッド幾何学の分類:球面幾何学と双曲幾何学