Vengriyalik matematik Yanosh Boyyai 1832-yilda parallel toʻgʻri chiziqlarning kesishishi haqidagi postulatni qoʻllash asosida Evklid geometriyasini butunlay rad etuvchi yangi geometriyani ixtiro qildi. U oʻz ishining natijalarini buyuk nemis matematigi Gaussga yubordi. Ammo u ixtironi oʻziga xos emaslikda ayblab, qabul qilmadi. Gaussning asosiy dalili nima edi?