geometria Bolyaia-Łobaczewskiego 1

geometria hiperboliczna otrzymywana z geometrii euklidesowej w wyniku zanegowania pewnika o prostych równoległych: 'Przez dowolny punkt nieleżący na danej prostej przechodzą co najmniej dwie różne proste nie mające wspólnych punktów z tą prostą'.