Ikke-euklidisk geometri er en gren af geometri.