Định đề là những mệnh đề toán học được giả định là đúng mà không cần chứng minh chắc chắn. Trong hầu hết các trường hợp, tiên đề và định đề được coi là giống nhau, mặc dù có một số khác biệt nhỏ.
Sự khác biệt giữa tiên đề và định đề là tiên đề, hoặc định đề đại số như đôi khi chúng được gọi, thường là về số thực, trong khi định đề liên quan nhiều hơn đến hình học.
Có năm định đề chính hình thành cơ sở của hình học Euclid được gọi là định đề Euclid. Euclid đặt ra những định đề này trong "Các yếu tố". Các định đề của Euclid đã được sửa chữa đôi chút trong nhiều thế kỷ, nhưng về cơ bản chúng vẫn còn nguyên vẹn. Từ những định đề này, các nhà toán học có thể hình thành các định lý và chứng minh hình học.
Các định đề cơ bản của Euclid là một đường thẳng có thể được vẽ để nối hai điểm bất kỳ, bất kỳ đoạn thẳng nào cũng có thể được kéo dài thành một đoạn thẳng dài mãi mãi, bất kỳ đoạn thẳng nào cũng có thể biến thành bán kính của một đường tròn với tâm của đường tròn trên đoạn thẳng, tất cả các góc vuông đều đồng dư và nếu hai đường thẳng được vẽ sao cho chúng cắt nhau bằng một phần ba và tổng các góc bên trong nhỏ hơn 180 độ, thì hai đường thẳng đó cuối cùng sẽ cắt nhau nếu chúng được kéo dài. < /p>
