非ユークリッド幾何学
双曲幾何学
元となる公理がユークリッド幾何学と異なる
平行線公理がない