question: w jakiej geometrii proste są półokręgami?
answer: Ponieważ proste w tej geometrii są topologicznie tożsame z okręgiem, zmiany wymagają również aksjomaty porządku na prostej, np. poprzez zastąpienie relacji leżenia między za pomocą relacji rozdzielania.