Trong tác phẩm của mình,Oclít đã trình bày các kiến thức cơ bản của hình học một cách có hệ thống; bằng cách dựa vào một số tiên đề rồi bằng phương pháp suy diễn logíc ,ông tìm cách chứng minh các định lí một cách tương đối chặt chẽ.Do đó người ta đã xem Oclít là người đầu tiên đặt nền móng cho việc xây dựng hình học bằng phương pháp tiên đề và dùng tên ông để gọi tên cho thứ hình học đó.Ông là tác giả của định đề V nổi tiếng mà ngày nay trong các sách giáo khao hình học ở phổ thông được phát biểu dưới dạng tiên đề Oclít nói về các đường thẳng song song trong mặt phẳng.Nhiều thế hệ các nhà toán học trên thế giới trong suốt 2000 năm,đã tốn rất nhièu sinh lực và trí tuệ để chứngminh định đề V này, nhưng mọi nổ lực cố gắng đó đều không đi đén kết quả.Vào cuối thể kỉ XIX, nhà toán học Nga là Ivanovic Lobasepki và nhà toán học Hungiari là Bolyai János trong quá trình nghiên cứu định đề V đã phát minh một thứ hình học mới không có mâu thuẫ,gọi là hình học phi-Oclít, trong đó không có định đề V.Việc làm này chứng tỏ định đề V không thể chứng được từ các tiên đề còn lại.Viẹc hoàn chỉnh hệ tiên đề hình học Oclít đã được nhiều nhà Toán học nổi tiêng trên thế giới tham gia. Có nhiều công trình nghiên cứu về hệ tiên đề hình học Oclít, nhứng nổi bật nhất là tác phẩm"Cơ sở hình học"củaHinbe xuất bản năm 1899 ở Đức .