非ユークリッド幾何学の定義とは、双曲幾何学の公理を満たし、無限の平行線対を持つ幾何学系を指す。