Proof Theory
Hyperbolic geometry is a non-Euclidean geometry characterized by a constant negative curvature, where the parallel postulate of Euclidean geometry does not hold. In this system, through a point not on a given line, there are infinitely many lines that do not intersect the given line, leading to a variety of unique geometric properties and structures.
congrats on reading the definition of Hyperbolic Geometry. now let's actually learn it.