Vynecháním pátého Euklidova postulátu získáme geometrii, v níž lze bodem vést nekonečně mnoho rovnoběžek s danou přímkou. Nebo ekvivalentně: součet velikostí vnitřních úhlů trojúhelníku je menší než 180° či existuje trojúhelník, jemuž nelze opsat kružnici. Cílem projektu je studovat modely této geometrie.
