question: w jakiej geometrii proste są półokręgami?
answer: "Geometrię hiperboliczną otrzymuje się z geometrii euklidesowej w wyniku zastąpienia pewnika o prostych równoległych następującym postulatem hiperbolicznym: ""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ą."""