Non-Euclidean geometry is a branch of mathematics that explores geometries based on axioms fundamentally different from those of Euclidean geometry, allowing for the study of curved spaces. It is crucial for understanding the geometry of the universe in the context of general relativity, where space can be curved by gravity.